如何在 Isabelle/jEdit 中输入集合论中的符号？答案

【问题标题】：How can I enter symbols from set theory in Isabelle/jEdit?如何在 Isabelle/jEdit 中输入集合论中的符号？
【发布时间】：2017-11-11 00:15:29
【问题描述】：

如何在 Isabelle/jEdit 中输入 ∈、⊆、∪ 和 ∩ 等符号？ Isabelle/HOL 教程说，我应该输入“:”、“

到目前为止，我看到的唯一选项是输入“\”之类的内容或其前缀，然后用鼠标选择所需的符号。但是，我想要一个纯键盘输入法。

【问题讨论】：

【解决方案1】：

您可以输入 \in 然后使用制表符选择所需的符号，也可以使用上/下箭头键从选项中进行选择。

【讨论】：

【解决方案2】：

当所需的符号出现在建议符号列表的顶部时，我使用 Tab 键。

另外，对于 ⊆，我使用 "(=".

【讨论】：