A TeXmacs paper in different formats

1. Source file
2. Postscript version
3. Pdf version
4. Html version with MathML formulas
5. Html version with formulas exported as images