Isabelle/jEditの特殊文字

=>, ==>, <=, ==, !! とかは自動変換。\<All> と !! は同じようだ。%x. x は自動変換されないが、ファンシープリンティングで表示される。

Isabelle/jEditマニュアルのp.19（表示はp.13）に記号の一覧表がある。TeXと同じようだから、次とかで調べる。

• http://www002.upp.so-net.ne.jp/latex/kigou_all.html

例えば、ソース上なら \<sqsubseteq>、エディタ上では、\sqs とかで補完が働く。ただし、ソース上の \sqsubseteq は許されない。