我在带有美式键盘的 macOS Catalina 下使用 VS Code 中的 Lean。如何输入暗示箭头、联合、交集、子集等符号？
是否有一些内置或附加调色板来促进这一点？或者我是否必须使用 Option 组合键，如果是，我在哪里可以找到合适的代码？
问问题
1121 次
2 回答
5
于 2020-05-01T01:23:11.577 回答
1
⟶ 系统偏好
⟶ 键盘
⟶ 输入源选项卡
⟶+左下角
⟶ 添加并Unicode Hex Input
从右侧面板中选择 ⟶ 通过+
输入 unicode 字符
⟶ 示例，输入联合符号，按住并按下alt[code]Alt222a
要查找其他代码，您可以简单地谷歌搜索Unicode Union，例如，它几乎总是第一次点击
https://www.google.com/search?q=unicode+Union&oq=unicode+Union&aqs=chrome..69i57.3027j0j7&sourceid=chrome -mobile&ie=UTF-8
于 2020-05-01T02:12:18.900 回答