src/TeXmacs/styles/mathematics
