Post #2169180

@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