1 2 3 4 5
--# -path=.:present:mathematical:prelude resource SymbolicIta = Symbolic with (Symbol = SymbolIta), (Grammar = GrammarIta) ;