Propositional Logic Symbols In Word