src/TeXmacs/styles/test
