Line 1,260: |
Line 1,260: |
| |} | | |} |
| | | |
− | Let ''j'' and ''k'' be hypothetical interpreters that do the jobs of ''M'' and ''N'', respectively: | + | Let <math>j\!</math> and <math>k\!</math> be hypothetical interpreters that do the jobs of <math>M\!</math> and <math>N,\!</math> respectively: |
| | | |
− | :{| cellpadding="2"
| + | {| align="center" cellpadding="8" |
− | | For Icons: | + | | <math>\text{For Icons:}\!</math> |
− | | ''x''’s Sign | + | | <math>x \operatorname{'s~Sign}</math> |
− | | = | + | | <math>=\!</math> |
− | | ''x'' <math>\cdot</math> ''M''<sub>''OS''</sub>
| + | | <math>x \cdot M_{OS}</math> |
− | | = | + | | <math>=\!</math> |
− | | ''x'' <math>\cdot</math> <math>\lessdot</math><sub>''j''</sub> <math>\gtrdot</math><sub>''j''</sub> ,
| + | | <math>x \lessdot_j \gtrdot_j</math> |
| |- | | |- |
− | | For Indices: | + | | <math>\text{For Indices:}\!</math> |
− | | ''x''’s Sign | + | | <math>x \operatorname{'s~Sign}</math> |
− | | = | + | | <math>=\!</math> |
− | | ''x'' <math>\cdot</math> ''N''<sub>''OS''</sub>
| + | | <math>x \cdot N_{OS}</math> |
− | | = | + | | <math>=\!</math> |
− | | x <math>\cdot</math> <math>\gtrdot</math><sub>''k''</sub><math>\lessdot</math><sub>''k''</sub> .
| + | | <math>x \gtrdot_k \lessdot_k</math> |
| |} | | |} |
| | | |