No change in size
	
		,  12:13, 1 June 2009
	
 
| Line 2,193: | Line 2,193: | 
|  | | |  | | | 
|  | <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 2,205: | Line 2,205: | 
|  | ((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)) |