Changes

Let us now draw out these semiotic features of the business of proof and place them in relief.

Let us now draw out these semiotic features of the business of proof and place them in relief.

Our syntactic domain ''S'' contains an infinite number of signs or expressions, which we may choose to view in either their text or their graphic forms, glossing over for now the many details of their parsicular correspondence.

Our syntactic domain <math>S\!</math> contains an infinite number of signs or expressions, which we may choose to view in either their text or their graphic forms, glossing over for now the many details of their parsicular correspondence.

Here are some of the expressions that we find salient enough to single out and confer an epithetic nickname on:

Here are some of the expressions that we find salient enough to single out and confer an epithetic nickname on:

: ''e''₀ = "(&nbsp;)"

 

: ''e''₁ = "&nbsp;"

<math>\begin{array}{lcc}

e_0 & = & {}^{\backprime\backprime} \texttt{(~)} {}^{\prime\prime}

\end{array}</math>

: ''e''₂ = "(p (q))(p (r))"

: ''e''₂ = "(p (q))(p (r))"