1. Triple barThe 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. In addition, it has the completely separate meaning of modular congruence in number theory: we write if N divides a − b.
Read “Triple bar” on English Wikipedia
Read “合同記号” on Japanese Wikipedia
Read “Triple bar” on DBpedia
Read “Triple bar” on English Wikipedia
Read “合同記号” on Japanese Wikipedia
Read “Triple bar” on DBpedia
Discussions
Log in to talk about this word.