A TeXmacs paper in different formats
Source file
Postscript version
Pdf version
Html version with MathML formulas
Html version with formulas exported as images