|
|
PostScript Version:
For any two sets
S and T,
S
T: { for all x
S: x
S
x
T }.
A more complicated equation:
Troff source code:
1 .SH
2 Definition: Formal counter part
3 .LP
4 For any two sets
5 S and T,
6 S \(ib T: { for all x \(mo S: x \(mo S \(-> x \(mo T }.
7 .LP
8 A more complicated equation:
9 .EQ
10 { PI sup 2 } over 8 = sum from i=0 to \(if { 1 over { ( { 2*i+1 } ) sup 2 } }
11 .EN
Note: This will be modified in the near future, to include the functionality of the mathematical markup language [MathML].
|
|
Last modified: 24/November/98 (09:40)