Esempio di uso di MINSE

Allegato a nota 82 del 19990102. Vedi  FormuleInHtml2 0082 19990102
 
 

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, [Vedi seguito] 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
.
 
In grafica questa formula vine resa così:

Html originale:

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