• TeXmacs, un éditeur scientifique et wysiwyg de textes structurés, ainsi qu'un interface pour des systès de calcul formel.