--# -path=.:present:prelude:mathematical

concrete MathEng of Math = MathI with
  (Syntax = SyntaxEng), 
  (Symbol = SymbolEng),
  (LexMath = LexMathEng) ;