Major Kinds of Notations For the Propositional Calculus