如何在Isabelle / jEdit中输入∈，⊆，∪和∩等符号？ Isabelle / HOL教程说，我应该输入“：”，“＆lt; =”，“Un”和“Int”。但是，“＆lt; =”给出≤，其他的根本不会转换为任何符号。
到目前为止，我看到的唯一选项是输入类似“\＆lt; in＆gt;”或其前缀的内容，并使用鼠标选择所需的符号。但是，我想要一个仅键盘输入法。
答案 0 :(得分：1)
您可以输入\ in然后使用Tab键选择所需的符号，还可以使用上/下箭头键从选项中进行选择。
答案 1 :(得分：0)
当所需符号出现在建议符号列表的顶部时，我使用Tab键。
另外，对于⊆，我使用“（=”。