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 U+2261≡identical to (HTML: ≡≡). LaTeX\equiv corresponds to the triple bar.
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 is sometimes used a symbol for congruence (although not the only one). Particularly, in number theory, it has the meaning of modular congruence: 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 for two functions f, g if we have for all x.
In website and software application design, a similar symbol is sometimes used as an interface element. The element typically indicates that a navigation menu can be accessed when the element is activated. Usage of this symbol dates back to the early computer interfaces developed at Xerox PARC in the 1980s.