Location:  
 Ping's MINSE PolyMediator version 0.5 (text), copyright © 1996-2001 by Ka-Ping Yee. All rights reserved.
MINSE: [index]
design - syntax - usage - notations - styles - contexts - why? - demo

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.


Here are some examples of the kind of output that this implementation produces (you can render them to text or graphics).

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

One can express logical statements such as P /\ (P => Q) => Q as well.

Here's a try at summation:

                           n    
                          ___   
                          \     
x  + x  + x  + ... + x  =  >  x 
 1    2    3          n   /__  i
                          i=1
.

Some Greek and a quotient:

             i {th}    -i {th} 
            e       - e        
sin {th} = --------------------
                   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: A isect (B union C) != A union B isect C.

The renderer can now display multiple conditions under large operators! Have a look at this:

    ___            
    \              
     >      f(i, j)
    /__            
1 <= i <= N        
1 <= j <= M        
  i != j
.

Recently, the ability to draw radical signs like

3____
V 2 x
has been added. You can also
 ,________________________
 |              ,_________
 |get,________  | ,_______
 |   | _______  | | ______
\|  \|V really \|\|V fancy
 `   `          ` `
if you want...

Finally, a rather arbitrary mess, just for fun.

                          y         
inf                      ---        
  .-                      2         
  |               (3 - y)           
  | f(x, y) + ------------------- dx
  |             {di}   / 2    2\    
 -'            ------- \x  + y /    
-inf            {di}y
.

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


copyright © by Ping (e-mail) updated Mon 24 Jun 1996 at 05:10 JST
since Sun 26 May 1996
(newly fetched) - exit to original - PMPM feedback - text mode - image mode
9 text/x-minse objects converted. The PMPM program is a public service. This software bears no warranty.