Allow pretty-printing a formula without evaluating it