Ordinary English statements are transformed into propositional logic notation to aid in the study of propositional logic. Capital letters, A–Z, and logical operators are used in logical notation to represent simple statements and compounding constituents. For example, tilde, dot, wedge, horseshoe, and triple bar are the five logical operator symbols.