src/TeXmacs/langs/mathematical/syntax
