--# -path=.:present

concrete MathFre of Math = MathI with
  (Syntax = SyntaxFre),
  (Mathematical = MathematicalFre),
  (LexMath = LexMathFre) ;