Pretty-print propositions and general infix expressions