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

resource SymbolicRus = Symbolic with 
  (Symbol = SymbolRus),
  (Grammar = GrammarRus) ;