List of logic symbols

In logic, a set of symbols is commonly used to express logical representation. The following table lists many common symbols together with their name, pronunciation, and the related field of mathematics. Additionally, the third column contains an informal definition, the fourth column gives a short example, the fifth and sixth give the unicode location and name for use in HTML documents. The last column provides the LaTeX symbol.

Outside logic, different symbols have the same meaning, and the same symbol can have different meanings, depending on the context.

These symbols are sorted by their Unicode value:

Note that the following operators are rarely supported by natively installed fonts. If you wish to use these in a web page, you should always embed the necessary fonts so the page viewer can see the web page without having the necessary fonts installed in their computer.

As of 2014^[update] in Poland, the is sometimes written ${\displaystyle \wedge }$ and the as ${\displaystyle \vee }$. The same applies for .

Józef Maria Bocheński (1959), A Précis of Mathematical Logic, trans., Otto Bird, from the French and German editions, Dordrecht, South Holland: D. Reidel.

...
Wikipedia