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

resource SymbolicPes = Symbolic with 
  (Symbol = SymbolPes),
  (Grammar = GrammarPes) ;