132133134135136137138139140141142
writer.print(")"); writer.printSpace(); writer.startBlock(); axiom.accept( renderer ); writer.endBlock(); writer.println(); } writer.flush(); } }