math rule - eviltoast

picture taken from Set Theory An Introduction to Independence Proofs by Kenneth Kunen.