src/TeXmacs/examples
