Examples

If you came here from the demo page, you should be viewing this page through the MINSE PolyMediator. Otherwise, select this link to activate Ping's MINSE PolyMediator (PMPM).

Select this link to view the source of the section below and see how simple it is to include these mathematical expressions. You can do this in your own documents today!

(Don't use the "View Source" function of your browser to look at this page if you are already viewing it with the PolyMediator; that will only give you the fully-expanded, presentation-dependent expressions, and a headache. You only need to put in your documents the kind of thing you see via the link above. The example expressions arbitrarily use infix operator or compound notation to show the possibilities; you can use either.)

To try typing in your own expressions, visit the test script.

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

Please feel free to send me your thoughts about this proposal!