1

How can I enter symbols like ∈, ⊆, ∪, and ∩ in Isabelle/jEdit? The Isabelle/HOL tutorial says, I should enter “:”, “<=”, “Un”, and “Int”. However, “<=” gives ≤, and the others are not translated to any symbols at all.

The only option I see so far is entering something like “\<in>” or a prefix thereof and selecting the desired symbol with the mouse. However, I want a keyboard-only input method.

Wolfgang Jeltsch
  • 781
  • 5
  • 10

2 Answers2

2

You can type \in and then use tab to select the desired symbol, and also up/down arrow keys to select from the options.

1

I use the tab key when the desired symbol appears on the top of the list of the suggested symbols.

Also, for ⊆, I use "(=".

Fadoua
  • 161
  • 11