Zulip Chat Archive

Stream: new members

Topic: Lean Unicode Cheat-sheet

Pedro Minicz (May 21 2020 at 03:02):

Is there a Unicode cheat-sheet for VSCode (and Emacs, as I assume the shortcuts are the same)?

Scott Morrison (May 21 2020 at 03:03):

https://github.com/leanprover/vscode-lean/blob/master/translations.json

Pedro Minicz (May 21 2020 at 03:03):

Thank you!

Yury G. Kudryashov (May 21 2020 at 03:04):

In Emacs C-h I

Yury G. Kudryashov (May 21 2020 at 03:04):

Unfortunately, two tables are not in sync.

Last updated: Dec 20 2023 at 11:08 UTC