Logic symbols

In logic, a basic set of logic symbols is used as a shorthand for logical constructions. As these symbols are often considered as familiar, they are not always explained. For convenience, the following table lists some common symbols together with their name, pronunciation and related field of mathematics. Additionally, the third column contains an informal definition, and the fourth column gives a short example.

Be aware that, outside of logic, different symbols have the same meaning, and the same symbol has, depending on the context, different meanings.