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) .