Nicer formatting for the logical formulae