Changes

===TextTT===

===TextTT===

For the initial case <math>k = 0,</math> the bound connective is an empty closure, an expression taking one of the forms <math>\texttt{()}, \texttt{(~)}, \texttt{([[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]))}, \ldots</math> with any number of spaces between the parentheses, all of which have the same denotation among propositions.

For the initial case <math>k = 0,</math> the bound connective is an empty closure, an expression taking one of the forms <math>\texttt{()}, \texttt{( )}, \texttt{( )}, \ldots</math> with any number of spaces between the parentheses, all of which have the same denotation among propositions.

For the generic case <math>k > 0,</math> the bound connective takes the form <math>\texttt{(} s_1 \texttt{,} \ldots \texttt{,} s_k \texttt{)}.</math>

For the generic case <math>k > 0,</math> the bound connective takes the form <math>\texttt{(} s_1 \texttt{,} \ldots \texttt{,} s_k \texttt{)}.</math>