Propositional logic shortcuts on a mac