Notation

I-2-1-Simple Operators

• P implies Q  (used in writing)

• \(P \to  Q\)  (preferred)  

• \(P\Rightarrow Q\) (used in math)

• \(P \supset Q\)   (used in older math)

• \(P.Q\) (used in very old math)