Zulip Chat Archive

Stream: general

Topic: type unicode in zulip


view this post on 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?

view this post on Zulip Gabriel Ebner (Jul 31 2020 at 09:21):

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

view this post on Zulip 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

view this post on Zulip Kenny Lau (Jul 31 2020 at 09:30):

and when clicked would revert to the backslash codes

view this post on Zulip 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ⁿ

view this post on Zulip Yury G. Kudryashov (Jul 31 2020 at 21:17):

I use ~/.XCompose

view this post on Zulip 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: May 14 2021 at 13:24 UTC