Wäre es möglich, \thereforedies so zu definieren, dass automatisch ein bestimmter horizontaler Abstand eingefügt wird (vielleicht ähnlich wie \implies)? (Natürlich kann ich den Abstand auch manuell einfügen.)
Antwort1
\let\oldtherefore\therefore
\renewcommand\therefore{\oldtherefore\mskip\thickmuskip}% or whatever space you want