Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Mathematical Object

Triple Bar

Logic, Foundations and Set Theory

The triple bar, or tribar, written as three parallel horizontal lines, is a symbol with several context-dependent meanings that all indicate the equivalence of two different things, used mainly in mathematics and logic, and it has the appearance of an equals sign with a third line added. The symbol has the Unicode code point U+2261, and a separate Unicode code point, U+2262, represents its negated form, with LaTeX commands available to produce both versions in typeset mathematics. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Classification
Object Kind
Notation Symbol 1
Connections

Is Kind Of Object

Entity-backed identity for the object-kind enum value this mathematical object already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The object-kind fact itself stays on the object unchanged.

Sources
1. Triple Bar (Wikipedia)
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.