# Dab solver - Triple bar

./dab_solver.py -page:
0 points on this page / 19,509 points earned collectively this month / Disambiguate pages on your watchlist
{{Punctuation marks||caption=Identical to<!--
-->|variant1=|caption1=Not identical to}}
{{SpecialChars}}

The triple bar, [[≡ (disambiguation)|]], is a symbol with multiple, context-dependent meanings. It has the appearance of a "[[Equals sign|=]]" sign with a third line.

In [[logic]], it has a similar meaning to the [[if and only if]] connective, ⇔. However, in some texts ⇔ is used as a symbol in logic formulas, while ≡ is for reasoning about those formulas (as in [[metalogic]]).

In mathematics it sometimes used a symbol for  (although not the only one). Particularly, in number theory, it has the meaning of [[modular arithmetic|modular congruence]]: $a \equiv b \pmod N$ if N divides a − b.

This symbol is also used when it appears in an equation which is a definition of its [[left-hand side]], that is an equation which is not derived but instead defined.

It is also used for "identical equality" of functions; one writes $f \equiv g$ for two functions f, g if we have $f(x) = g(x)$ for all x.

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]].

The triple bar character in [[Unicode]] as codepoint {{unichar|2261|IDENTICAL TO|html=}}. [[LaTeX]] \equiv corresponds to the triple bar.

{{typography-stub}}
{{logic}}
[[Category:Mathematical symbols]]
[[Category:Logic symbols]]
Single scrollbar