src/TeXmacs/styles/obsolete
