PPT: additional mathematical material

Letters are local to a section. In particular, \(A\) denotes required premises in a proof field, but a matrix in the binary examples. The type declarations, not the letter alone, determine the object.