This document was written by using TeXmacs[25], a structured wysiwyw (what you see is what you want) editor for scientists. The HTML version of this document is generated by first converting the TeXmacs file to TeX format and then using htlatex to convert the TeX file to HTML format.