}
	| no
        | #default = 
}
           | no
} — 
	| yes = 
}
}
} 
}
 を呼び出します。
基本的には、第 1 引数に証明を記述して使います。
} の値として drop=yes を与えます。
このとき、[表示] と書かれた部分を選択することで証明の内容を表示することができます。証明を非表示にする場合は同様に [隠す] と書かれた部分を選択すれば非表示になります。
} に題名を記述します。
節に証明のみを書く場合、section=yes とします。
この場合、title を指定しても無視されます。
} に CSS のスタイルを記述します。