Pretty-printing of quantified formula is gross

Open mn200 opened this issue 1 year ago • 0 comments

!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

Dec 04 '24 05:12 mn200