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

resource SymbolicMlt = Symbolic with 
  (Symbol = SymbolMlt),
  (Grammar = GrammarMlt) ;