Search results
Results from the WOW.Com Content Network
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 contains an informal explanation, a short example, the Unicode location, the name for use in HTML documents, [1] and the LaTeX symbol.
The triple bar or tribar, ≡, is a symbol with multiple, context-dependent meanings indicating equivalence of two different things. Its main uses are in mathematics and logic. It has the appearance of an equals sign = with a third line.
Wedge (∧) is a symbol that looks similar to an in-line caret (^). It is used to represent various operations. In Unicode, the symbol is encoded U+2227 ∧ LOGICAL AND (∧, ∧) and by \wedge and \land in TeX. The opposite symbol (∨) is called a vel, or sometimes a (descending) wedge.
In logic and mathematics, statements and are said to be logically equivalent if they have the same truth value in every model. [1] The logical equivalence of p {\displaystyle p} and q {\displaystyle q} is sometimes expressed as p ≡ q {\displaystyle p\equiv q} , p :: q {\displaystyle p::q} , E p q {\displaystyle {\textsf {E}}pq} , or p q ...
The symbol is also supported (at code point 148) in a modified variant of the HP Roman-8 character set used by other HP calculators. On the Casio fx-92 Collège 2D and fx-92+ Spéciale Collège calculators, [ 13 ] the symbol represents the modulo operator; entering 5 ⊢ 2 {\displaystyle 5\vdash 2} will produce an answer of Q = 2 ; R = 1 ...
The tee (⊤, \top in LaTeX), also called down tack (as opposed to the up tack) or verum, [1] is a symbol used to represent: . The top element in lattice theory.; The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true.
The vertically reflected symbol, ∧, is a wedge, and often denotes related or dual operators. The ∨ symbol was introduced by Russell and Whitehead in Principia Mathematica, where they called it the Logical Sum or Disjunctive Function. [1] In Unicode the symbol is encoded U+2228 ∨ LOGICAL OR (∨, ∨). In TeX, it is \vee or \lor.
The glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse). [citation needed] Tee plays a complementary or dual role in many of these theories. The similar-looking perpendicular symbol ( , \perp in LaTeX, U+27C2 in Unicode) is a binary relation symbol used to represent: