Pretty printing for conjunction and disjunction.