TeXmacs でも使用したらいいのではないのか？
_________________
If T is consistent then T !|- R_T
If T is consistent then T !|- ¬R_T. -- John B. Rosser