src/TeXmacs/styles/springer
