search

XmacsLabs / mogan

Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!
https://mogan.app
GNU General Public License v3.0
373 stars 30 forks source link

quick way of typing `\rightsquigarrow`? #318

Closed ice1000 closed 1 year ago

ice1000 commented 1 year ago

Right now ~> with tabs does not give this, unlike similarly < w/ tabs gives ∈ and stuffs. This can be useful for cubical type theory documents.

YiqiXu commented 1 year ago

~ > actually works fine on my MacBook.

ice1000 commented 1 year ago

Did you mean ~ followed by >?

YiqiXu commented 1 year ago

Did you mean ~ followed by >?

Yes.

da-liii commented 1 year ago

It should be \rightsquigarrow, the keybinding mentioned by YiqiXu works fine for me on Linux in math mode.

da-liii commented 1 year ago

It is documented here: https://github.com/XmacsLabs/planet/blob/main/LaTeX/MathSymbols.tm

And you can browse the math symbols and the keybindings via Help -> Planet -> LaTeX Symbols -> Math Symbols.