Notation	Schema	Name
𝗘𝗙𝗤	⊥ ⟶ p	Ex Falso Quodlibet or Law of Explosion
𝗗𝗡𝗘	~~p ⟶ p	Double Negation Elimination
𝗟𝗘𝗠	p ⋎ ~p	Law of Excluded Middle
𝘄𝗟𝗘𝗠	~p ⋎ ~~p	Weak Law of Excluded Middle
𝗣𝗲	((p ⟶ q) ⟶ p) ⟶ p	Peirce's Law
𝗚𝗗	(p ⟶ q) ⋎ (q ⟶ p)	Gödel-Dummett Axiom