Logic symbols

punctuation mark (!) to show strong feelings

The tilde (, also ) is a grapheme or with a number of uses. The name of the character came into English from Spanish , which, in turn, came from the Latin , meaning 'title' or 'superscription'. Its primary use is as a diacritic in combination with a base letter. Its freestanding form is used in modern texts mainly to indicate approximation.

The ampersand, also known as the and sign, is the logogram , representing the conjunction "and". It originated as a ligature of the word (Latin for ).

symbol or word which can be applied to statements (of either a formal or a natural language) to produce a new statement

a glyph with various uses in mathematics, computing, and typography

logical quantification stating that a statement holds for all objects

logical quantification stating that a statement holds for at least one object

direction symbol

logical operation that asserts that at least one of its operands is false

Latin letter turned A

Wikimedia list article

term in logic

mathematical representation of truth or falsehood

in logic, atomic formula (atom) or its negation

classification of variables in a logic formula based on whether or not they are inside the scope of a quantifier

mathematical logical symbol

form of rhombus

basic element of strings in a formal language

mathematical symbol "≡" with multiple meanings

mathematical symbol

mathematical symbol

→ or -> may refer to: