We could hardly leave out the famous equation 'e ^ ('i * 'pi) + 1 = 0 , could we?

One can express logical statements such as P .and 'implies(P,Q) .implies Q as well.

Here's a try at summation: x;1 + x;2 + x;3 + 'ellipsis + x;n = 'Sum(x;i,i,1,n) .

Some Greek and a quotient: 'sin(?theta?) = 'quot( 'exp('e,'i*?theta?) - 'exp('e,_'i*?theta?), 2*'i) .

In the source, note the use of the underscore for the unary negation operator. Also, 'e and 'i are written as compounds rather than just letters, to indicate that they have their special definitions.

The following example demonstrates that this renderer understands precedence: 'isect(A,'union(B,C)) .noteq 'union(A,'isect(B,C)) .

The renderer can now display multiple conditions under large operators! Have a look at this: 'Sum(f(i,j),1 <= i <= N .and 1 <= j <= M .and i .noteq j) .

Recently, the ability to draw radical signs like 'root(2*x,3) has been added. You can also 'root('root('root(?(really)),?(get))*'root('root('root(?(fancy))))) if you want...

Finally, a rather arbitrary mess, just for fun. 'integ(f(x,y) + (3-y)^(y/2)/'ptderiv(x^2+y^2,y), x, _'inf, 'inf) .