Translations:Extension:MathLaTeX/3/de-formal