Triple bar

From formulasearchengine
Jump to navigation Jump to search

{{#invoke:Hatnote|hatnote}}

Identical to

Template:Punctuation marks/variant

Punctuation
apostrophe ( ’ ' )
brackets ( [ ], ( ), { }, ⟨ ⟩ )
colon ( : )
comma ( , ، 、 )
dash ( , –, —, ― )
ellipsis ( …, ..., . . . )
exclamation mark ( ! )
full stop / period ( . )
hyphen ( )
hyphen-minus ( - )
question mark ( ? )
quotation marks ( ‘ ’, “ ”, ' ', " " )
semicolon ( ; )
slash / stroke / solidus ( /,  ⁄  )
Word dividers
interpunct ( · )
space ( ) ( ) ( )
General typography
ampersand ( & )
asterisk ( * )
at sign ( @ )
backslash ( \ )
bullet ( )
caret ( ^ )
dagger ( †, ‡ )
degree ( ° )
ditto mark ( )
inverted exclamation mark ( ¡ )
inverted question mark ( ¿ )
number sign / pound / hash / octothorpe ( # )
numero sign ( )
obelus ( ÷ )
ordinal indicator ( º, ª )
percent, per mil ( %, ‰ )
plus and minus ( + − )
basis point ( )
pilcrow ( )
prime ( ′, ″, ‴ )
section sign ( § )
tilde ( ~ )
underscore / understrike ( _ )
vertical bar / broken bar / pipe ( ¦, | )
Intellectual property
copyright symbol ( © )
registered trademark ( ® )
service mark ( )
sound recording copyright ( )
trademark ( )
Currency
currency (generic) ( ¤ )
currency (specific)
( ฿ ¢ $ ƒ £ ¥ )
Uncommon typography
asterism ( )
hedera ( )
index / fist ( )
interrobang ( )
irony punctuation ( )
lozenge ( )
reference mark ( )
tie ( )
Related
diacritical marks
logic symbols
whitespace characters
non-English quotation style ( « », „ ” )
In other scripts
Chinese punctuation
Hebrew punctuation
Japanese punctuation
Korean punctuation
Template:Navbar

Template:SpecialChars

The triple bar, , is a symbol with multiple, context-dependent meanings. It has the appearance of a "=" sign with a third line. The triple bar character in Unicode is codepoint Template:Unichar.[1] The closely related codepoint Template:Unichar is the same symbol with a slash through it, indicating the negation of its mathematical meaning.[1] In LaTeX mathematical formulas, the code \equiv produces the triple bar symbol as output.[2]

Uses

Mathematics and philosophy

In logic, it is used with two different but related meanings. It can refer to the if and only if connective, also called material equivalence.[3] This a binary operation whose value is true when its two arguments have the same value as each other.[4] Alternatively, in some texts ⇔ is used with this meaning, while ≡ is used for the higher-level metalogical notion of logical equivalence, according to which two formulas are logically equivalent when all models give them the same value.[5] Gottlob Frege used a triple bar for a more philosophical notion of identity, in which two statements (not necessarily in mathematics or formal logic) are identical if they can be freely substituted for each other without change of meaning.[6]

In mathematics, the triple bar is sometimes used as a symbol of an equivalence relation (although not the only one; other common choices include ~ and ≈).[7] Particularly, in geometry, it may be used either to show that two figures are congruent or that they are identical.[8] In number theory, it has been used beginning with Carl Friedrich Gauss (who first used it with this meaning in 1801) to mean modular congruence: if N divides ab.[9][10] It is also used for "identical equality" of functions; one writes for two functions f, g if we have for all x.[11]

In category theory, triple bars may be used to connect objects in a commutative diagram, indicating that they are actually the same object rather than being connected by an arrow of the category.[12]

This symbol is also sometimes used in place of an equal sign for equations that define the symbol on the left-hand side of the equation, to contrast them with equations in which the terms on both sides of the equation were already defined.[13] An alternative notation for this usage is to typeset the letters "def" above an ordinary equality sign.[14]

Science

In botanical nomenclature, the triple bar denotes homotypic synonyms (those based on the same type specimen), to distinguish them from heterotypic synonyms (those based on different type specimens), which are marked with an equals sign.[15]

In chemistry, the triple bar can be used to represent a triple bond between atoms. For example, HC≡CH is a common shorthand for acetylene.[16]

Computing

In website and software application design, a similar symbol is sometimes used as an interface element, where it is called hamburger icon. The element typically indicates that a navigation menu can be accessed when the element is activated; the bars of the symbol may be seen as stylized menu items, and some variations of this symbols add more bars, or bullet points to each bar, to enhance this visual similarity.[17] Usage of this symbol dates back to the early computer interfaces developed at Xerox PARC in the 1980s.[18] It is also similar to the icon frequently used to indicate justified text alignment.

References

  1. 1.0 1.1 {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  2. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  3. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  4. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  5. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  6. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  7. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  8. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  9. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  10. Template:Harvtxt, p. 34.
  11. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  12. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  13. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  14. Template:Harvtxt, p. 50.
  15. {{#invoke:Citation/CS1|citation |CitationClass=journal }}
  16. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  17. {{#invoke:citation/CS1|citation |CitationClass=citation }}.
  18. Template:Cite web

Template:Common logical symbols


Template:Asbox