In Latex we can type $a \implies b$ and it will render with extra space before and after the \implies symbol. However, in Texmacs no space is added. What is the proper way to add spaces there? So far, I have resorted to adding text boxes with 2 spaces before and after the \implies symbol.
Archive powered by MHonArc 2.6.19.