Zulip Chat Archive

Stream: general

Topic: type unicode in zulip

Kenny Lau (Jul 31 2020 at 09:18):

is it ever possible to type unicodes in zulip in the same way as in vscode? i.e. \< would actually print as an angle bracket? or maybe we would need some bot akin to the TeXiT-bot on discord?

Gabriel Ebner (Jul 31 2020 at 09:21):

Personally, I'm using a Lean IME: https://github.com/gebner/m17n-lean

Kenny Lau (Jul 31 2020 at 09:30):

what I have in mind is a little button on each message that when clicked would convert the abbreviations in VSCode-style

Kenny Lau (Jul 31 2020 at 09:30):

and when clicked would revert to the backslash codes

Rob Lewis (Jul 31 2020 at 09:42):

Gabriel Ebner said:

Personally, I'm using a Lean IME: https://github.com/gebner/m17n-lean

whoaⁿ

Yury G. Kudryashov (Jul 31 2020 at 21:17):

I use ~/.XCompose

Yury G. Kudryashov (Jul 31 2020 at 21:18):

I don't want \ to be active outside of Lean, especially in my LaTeX documents.

Last updated: Dec 20 2023 at 11:08 UTC