Definition:Conditional/Notational Variants

Definition
Various symbols are encountered that denote the concept of the conditional:

In mathematics, as opposed to works concerned purely with logic, it is usual to use "$\implies$", as then it can be ensured that it is understood to mean exactly the same thing when we use it in the "mathematical" context. There are other uses in mathematics for the other symbols.