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

resource SymbolicUrd = Symbolic with 
  (Symbol = SymbolUrd),
  (Grammar = GrammarUrd) ;