如何在 Isabelle/jEdit 中输入集合论中的符号？
How can I enter symbols from set theory in Isabelle/jEdit?
如何在Isabelle/jEdit中输入∈、⊆、∪、∩等符号？ Isabelle/HOL 教程说，我应该输入“:”、“<=”、“Un”和“Int”。但是“<=”给出的是≤，其他的根本就没有翻译成任何符号。
到目前为止，我看到的唯一选项是输入类似“\”或其前缀的内容，然后用鼠标选择所需的符号。但是，我想要一个纯键盘输入法。
您可以键入 \in，然后使用 Tab 键 select 所需的符号，也可以使用 up/down 方向键从选项中选择 select。
当所需符号出现在建议符号列表的顶部时，我使用 Tab 键。
此外，对于⊆，我使用“(=”。
如何在Isabelle/jEdit中输入∈、⊆、∪、∩等符号？ Isabelle/HOL 教程说，我应该输入“:”、“<=”、“Un”和“Int”。但是“<=”给出的是≤，其他的根本就没有翻译成任何符号。
到目前为止，我看到的唯一选项是输入类似“\
您可以键入 \in，然后使用 Tab 键 select 所需的符号，也可以使用 up/down 方向键从选项中选择 select。
当所需符号出现在建议符号列表的顶部时，我使用 Tab 键。
此外，对于⊆，我使用“(=”。