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

resource SymbolicRon = Symbolic with 
  (Symbol = SymbolRon),
  (Grammar = GrammarRon) ;