I wonder how to input a broken right arrow in TeXmacs? Something like --->, dashed or dotted. Thanks.
It is possible to use the unicode ⇢. However, I don’t know whether it is easy to make it extensible, and to add things above and below the arrow?