0
Isabelle/jEdit에 어떻게 ∈, ⊆, ∪, ∩ 같은 기호를 입력 할 수 있습니까? Isabelle/HOL 자습서에 "", "< =", "Un"및 "Int"를 입력해야한다고 나와 있습니다. 그러나 "< ="은 ≤을 제공하고 다른 기호는 전혀 기호로 변환되지 않습니다.Isabelle/jEdit에서 세트 이론의 기호를 입력하는 방법은 무엇입니까?
"\ <에 >"또는 그 접두어를 입력하고 마우스로 원하는 기호를 선택하는 것만 볼 수 있습니다. 그러나 키보드 전용 입력 방법이 필요합니다.