Notes on TeXmacs