Some logic books, and some logicians, use alternative symbolizations for the various truth-functional connectives. The meanings (that is, the truth tables) are always the same, but the symbol used may be different. For this reason, we will take the time in this text to briefly recognize alternative symbolizations.
The conditional is sometimes represented with the following symbol: “⊃”. Thus, in such a case, (P→Q) would be written