Start of pretty-printing for Formula objects