[JadeNB]

> 4. Alternative input methods that let you type special characters in in various other ways, such as LaTeX names, if you prefer that.

Yes, please! This would be extraordinary! How do I do it?