--# -path=.:present

concrete MathSpa of Math = MathI with
  (Syntax = SyntaxSpa),
  (Mathematical = MathematicalSpa),
  (LexMath = LexMathSpa) ;