Post #1920392
2025-05-26 00:38 UTC
How do you guys enter unicode symbols? I feel like there are so many different ways and none I've seen are satisfactory.
Replies (3)
-
@mzhang@fosstodon.org 2025-05-26 01:25
@bodzioney for Agda? what editor? agda-mode-vscode and cornelis both support unicode input afaik and I also sometimes use this extension for non-agda files https://github.com/czhang03/unicode-math-vscode by @czhang03
-
@mrdk@mathstodon.xyz 2025-05-26 17:32
@bodzioney On Mathstodon, I usually start a formula with the LaTeX name of the symbol and then let Mathstodon convert it to Unicode. Or I use the Emoji selector. So far these are the only cases where I have used Unicode symbols that were not directly on my keyboard.
-
@christianp@mathstodon.xyz 2025-05-26 17:34
@bodzioney for maths, https://www.unicodeit.net/