gf-core/grammars/multiple/TopMathEng.gf

--# -path=.:../prelude

concrete TopMathEng of TopMath = TopEng, UserMathEng, SystemMathEng ** {} ;