Azimuth Forum
Visit Site
I think you want to say $$\top\to X\vee\neg X,$$ the converse being "for free".
Version 2.1.8p2