~  for the Negation sign (reads 'not')

        ->  for the Conditional sign ('P -> Q' reads 'if P, then Q')

         &  for the Conjunction sign (reads 'and')

         v  for the Disjunction sign (reads 'or')

       <->  for the Biconditional sign (reads 'is materially equivalent to'
            or 'if and only if')

         =  for the Identity sign (reads 'is identical to')

        /\  for the Universal quantifier ('/\x' reads 'for any x')

        \/  for the Existential quantifier ('\/x' reads 'there exists an x,
            such that')