src/TeXmacs/examples/texts
