Words

Words that mathematicians use:

Words that functional programmers use:

        P  ->  Q
        ^     ^
        |     |
        |     |
antecedent --+     +-- consequent