Triple bar

The triple bar, ≡, is a symbol used in formal logic. It has the appearance of a "=" sign with a third line.

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

It is Unicode character 8801. The HTML entity &equiv; also corresponds to the triple bar.

Technical note: Due to technical limitations, some web browsers may not display some special characters in this article. Bear this in mind if you encounter symbols such as "�?﷐􏿾". You might also consider viewing the page in a different browser or using a different font—preferably one with wide Unicode support, such as Code2000, Arial Unicode MS, Lucida Sans Unicode or one of the free software unicode fonts.

This mathematics-related article is a stub. You can help Wikipedia by expanding it.

Categories: Pages with special characters | Mathematics stubs | Mathematical terminology