Changes

'''Note on notation.'''  When there is only one sign relation <math>L_J = L(J)</math> associated with a given interpreter <math>J</math>, it is convenient to use the following forms of abbreviation:

'''Note on notation.'''  When there is only one sign relation <math>L_J = L(J)</math> associated with a given interpreter <math>J</math>, it is convenient to use the following forms of abbreviation:

:{| cellpadding=4

{| align="center" cellspacing="6" width="90%"

| ''J''_''OS''

|

| = || ''Den''(''L''_''J''&nbsp;)

<math>\begin{array}{lclclclcl}

| = || ''Proj''_''OS''&nbsp;''L''_''J''

J_{OS}

| = || (''L''_''J''&nbsp;)_''OS''

& = & \operatorname{Den}(L_J)

| = || ''L''(''J'')_''OS''

& = & \operatorname{proj}_{OS} L_J

& = & (L_J)_{OS}

| ''J''_''SI''

& = & L(J)_{OS}

| = || ''Con''(''L''_''J''&nbsp;)

| = || ''Proj''_''SI''&nbsp;''L''_''J''

J_{SI}

| = || (''L''_''J''&nbsp;)_''SI''

& = & \operatorname{Con}(L_J)

| = || ''L''(''J'')_''SI''

& = & \operatorname{proj}_{SI} L_J

& = & (L_J)_{SI}

| ''J''_''OI''

& = & L(J)_{SI}

| = || ''Int''(''L''_''J''&nbsp;)

| = || ''Proj''_''OI''&nbsp;''L''_''J''

J_{OI}

| = || (''L''_''J''&nbsp;)_''OI''

& = & \operatorname{Int}(L_J)

| = || ''L''(''J'')_''OI''

& = & \operatorname{proj}_{OI} L_J

& = & (L_J)_{OI}

& = & L(J)_{OI}

\end{array}</math>

|}

|}