Changes

Using the raised dot "<math>\cdot</math>" as a sign to mark the articulation of a quoted string into a sequence of possibly shorter quoted strings, and thus to mark the concatenation of a sequence of quoted strings into a possibly larger quoted string, one can write:

Using the raised dot "<math>\cdot</math>" as a sign to mark the articulation of a quoted string into a sequence of possibly shorter quoted strings, and thus to mark the concatenation of a sequence of quoted strings into a possibly larger quoted string, one can write:

|

|

|  " "  <-<  "blank"  =   "b"·"l"·"a"·"n"·"k"

<math>\begin{matrix}

</pre>

^{\backprime\backprime}\operatorname{blank}^{\prime\prime} &

= &

^{\backprime\backprime}\operatorname{b}^{\prime\prime} \cdot

^{\backprime\backprime}\operatorname{l}^{\prime\prime} \cdot

^{\backprime\backprime}\operatorname{a}^{\prime\prime} \cdot

^{\backprime\backprime}\operatorname{n}^{\prime\prime} \cdot

^{\backprime\backprime}\operatorname{k}^{\prime\prime} \\

\end{matrix}</math>

This usage allows us to refer to the blank as a type of character, and also to refer any blank we choose as a token of this type, referring to either of them in a marked way, but without the use of quotation marks, as I just did.  Now, since a blank is just what the name "blank" names, it is possible to represent the denotation of the sign " " by the name "blank" in the form of an identity between the named objects, thus:

This usage allows us to refer to the blank as a type of character, and also to refer any blank we choose as a token of this type, referring to either of them in a marked way, but without the use of quotation marks, as I just did.  Now, since a blank is just what the name "blank" names, it is possible to represent the denotation of the sign " " by the name "blank" in the form of an identity between the named objects, thus: