missing line breaks in functions types without comments

[JohannesWaldmann]

if a function's type contains no embedded annotations, then it is rendered without any reasonable linebreaks (it just breaks at the right border) which makes it hard to read.

See function symdiff here http://dfa.imn.htwk-leipzig.de/doc/autolib-fa-1.1/html/Autolib-NFA-Minus.html

and I attach a screenshot, just to be sure.

[JohannesWaldmann]

screenshot

[MtnViewMark]

I suppose that we could make sure that multi-character symbols, like -> and => don't get line breaks inside them. And I suppose it might be considered best to keep the -> with the following symbol, and the => with the prior (?).

Are there more specific suggestions for line breaking rules?