結論の右辺（
evalto / is / : / ==> の右）は省略するか ? にすると自動で計算します。Ctrl+Enter で導出。
例題（クリックで入力）
『プログラミング言語の基礎概念』の導出システム（Nat 〜 EvalML4 / NamelessML3 / TypingML4 / PolyTypingML4，名称は公式ルールブック（PDF）に準拠）に対応。判断を入力すると，演習システム形式と LaTeX で導出を出力します。
evalto / is / : / ==> の右）は省略するか ? にすると自動で計算します。Ctrl+Enter で導出。