Pretty-printing of quantified formula is gross

[mn200]

!aa bb cc dd ee ff gg. ?hh. pppp xxx = yyyy + 1230000

with linewidth = 30 prints extremely grossly:

   ∀aa bb cc dd ee ff gg.
       ∃hh.
     pppp xxx =
     yyyy + 1230000