--# -path=.:present

concrete MathSwe of Math = MathI with
  (Syntax = SyntaxSwe),
  (Mathematical = MathematicalSwe),
  (LexMath = LexMathSwe) ;