Definition:Propositional Symbol