No change in size
, 12:12, 1 June 2009
| Line 4,612: |
Line 4,612: |
| | | | | | |
| | <math>\begin{matrix} | | <math>\begin{matrix} |
| − | ~(x~~y)~ | + | (~x~~y~) |
| | \\[4pt] | | \\[4pt] |
| − | ~(x~(y)) | + | (~x~(y)) |
| | \\[4pt] | | \\[4pt] |
| − | ((x)~y)~ | + | ((x)~y~) |
| | \\[4pt] | | \\[4pt] |
| | ((x)(y)) | | ((x)(y)) |
| Line 4,624: |
Line 4,624: |
| | ((x)(y)) | | ((x)(y)) |
| | \\[4pt] | | \\[4pt] |
| − | ((x)~y)~ | + | ((x)~y~) |
| | \\[4pt] | | \\[4pt] |
| − | ~(x~(y)) | + | (~x~(y)) |
| | \\[4pt] | | \\[4pt] |
| − | ~(x~~y)~ | + | (~x~~y~) |
| | \end{matrix}</math> | | \end{matrix}</math> |
| | | | | | |
| | <math>\begin{matrix} | | <math>\begin{matrix} |
| − | ((x)~y)~ | + | ((x)~y~) |
| | \\[4pt] | | \\[4pt] |
| | ((x)(y)) | | ((x)(y)) |
| | \\[4pt] | | \\[4pt] |
| − | ~(x~~y)~ | + | (~x~~y~) |
| | \\[4pt] | | \\[4pt] |
| − | ~(x~(y)) | + | (~x~(y)) |
| | \end{matrix}</math> | | \end{matrix}</math> |
| | | | | | |
| | <math>\begin{matrix} | | <math>\begin{matrix} |
| − | ~(x~(y)) | + | (~x~(y)) |
| | \\[4pt] | | \\[4pt] |
| − | ~(x~~y)~ | + | (~x~~y~) |
| | \\[4pt] | | \\[4pt] |
| | ((x)(y)) | | ((x)(y)) |
| | \\[4pt] | | \\[4pt] |
| − | ((x)~y)~ | + | ((x)~y~) |
| | \end{matrix}</math> | | \end{matrix}</math> |
| | | | | | |
| | <math>\begin{matrix} | | <math>\begin{matrix} |
| − | ~(x~~y)~ | + | (~x~~y~) |
| | \\[4pt] | | \\[4pt] |
| − | ~(x~(y)) | + | (~x~(y)) |
| | \\[4pt] | | \\[4pt] |
| − | ((x)~y)~ | + | ((x)~y~) |
| | \\[4pt] | | \\[4pt] |
| | ((x)(y)) | | ((x)(y)) |