如何在Isabelle/jEdit中輸入集合論的符號？

Question

如何在Isabelle/jEdit中輸入像∈，⊆，∪和∩這樣的符號？ Isabelle/HOL教程說，我應該輸入「：」，「< =」，「Un」和「Int」。但是，「< =」給出≤，其他符號根本不翻譯成任何符號。

我到目前爲止看到的唯一選擇是輸入類似「>」中的「\ <」或其前綴，並用鼠標選擇所需的符號。但是，我想要一個僅鍵盤輸入法。

Answer 1

您可以輸入\ in，然後使用選項卡選擇所需的符號，以及向上/向下箭頭鍵從選項中進行選擇。

Answer 2

當所需符號出現在建議符號列表的頂部時，我使用tab鍵。

此外，對於⊆，我使用「（=」。