In logic, a set of symbols is commonly used to express logical representation. The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics. Additionally, the subsequent columns contain an informal explanation, a short example, the Unicode location, the name for use in HTML documents, and the LaTeX symbol.
Basic logic symbols
Advanced or rarely used logical symbols The following symbols are either advanced and context-sensitive or very rarely used:
See also
Glossary of logic Józef Maria Bocheński List of notation used in Principia Mathematica List of mathematical symbols Logic alphabet, a suggested set of logical symbols Logic gate § Symbols Logical connective Mathematical operators and symbols in Unicode Non-logical symbol Polish notation Truth function Truth table Wikipedia:WikiProject Logic/Standards for notation
References
Further reading 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.
External links Named character entities in HTML 4.0