ImpliesLeft

The logical reverse implication operator.

Syntax

• ImpliesLeft(p, q)

  • p and q are booleans

Description

ImpliesLeft implements the ⇐ operator.

See also

• ⇐