Isabelle/jEditで集合理論の記号を入力するにはどうすればよいですか？

Question

Isabelle/jEditに∈、⊆、∪、∩などの記号を入力するにはどうすればよいですか？ Isabelle/HOLチュートリアルでは、「：」、「< =」、「Un」、「Int」と入力する必要があります。ただし、 "< ="は≤を返し、他はシンボルにまったく変換されません。

これまでのところ、\ <に>という文字を入力するか、その接頭辞を付けてマウスで目的のシンボルを選択しています。しかし、私はキーボードだけの入力方法が必要です。

Answer 1

\を入力してタブを使用して、目的のシンボルを選択し、上/下矢印キーを使用してオプションから選択することもできます。

Answer 2

私は、希望のシンボルが推奨シンボルのリストの上部に表示されているときにTabキーを使用します。

また、⊆の場合、 "（="。