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

resource SymbolicNor = Symbolic with 
  (Symbol = SymbolNor),
  (Grammar = GrammarNor) ;