The docs [1] include a table of symbols you can copy/pate from, and lists shortcuts that will be expanded by the IDE/online editor [2] - these mostly look like the LaTeX commands for the symbols (some are more concise, like \R and \Z as shortucts for \mathbb{R} and \mathbb{Z}).
It would be useful if there was something like a help button in the IDE that opened this table in a modal, rather than just a link.
It would be useful if there was something like a help button in the IDE that opened this table in a modal, rather than just a link.
[1]: https://github.com/iheartla/iheartla/wiki/Keywords-And-Speci...
[2]: https://iheartla.github.io/iheartla/