Copy ≡, the three-bar sign for equivalent, or ⇔ and the four-bar ≣, each with the code that types it.
Equivalent Symbol
≡Identical toU+2261Ready to copy
28 equivalent signs and look-alikes. Tap any value to copy it.
28 equivalent signs and look-alikes. A character and its name both copy the character. A code copies the code.
Character
Name
Code point
Alt code
HTML
LaTeX
U+2261. The triple bar: an equals sign with a third bar. It reads identical to, equivalent to or congruent to, by context. Alt+240 on a number pad, ≡ in HTML and \equiv in LaTeX.
U+2262. The triple bar struck through: not identical, not equivalent. It is in neither Alt code table. ≢ in HTML, and \not\equiv in LaTeX.
U+21D4. If and only if. Some texts write this arrow for the connective and keep ≡ for logical equivalence. ⇔ or ⇔ in HTML and \Leftrightarrow in LaTeX.
U+2245. A tilde over two bars, where ≡ has three bars: often used for congruent figures and for isomorphic structures. ≅ in HTML and \cong in LaTeX.
U+003D. Two bars, on the keyboard: equal. In a chemical formula it is a double bond, where ≡ is a triple bond. = in HTML.
U+2263. Four bars, one more than ≡. It has no entity name.
U+224D. The character Unicode itself names Equivalent to: two arcs that bulge toward each other. ≍ in HTML and \asymp in LaTeX.
U+225D. An equals sign under the letters def: a definition, the job ≡ also does in some texts. It has no entity name.
U+2A67. ≡ under a single dot. Added in Unicode 3.2 (2002), with no entity name.
U+2A78. ≡ under four dots. ⩸ in HTML. Added in Unicode 3.2 (2002).
U+29E5. ≡ crossed by two slanting strokes. ⧥ in HTML. Added in Unicode 3.2 (2002).
U+2A68. Three bars crossed by two upright strokes. Unicode's other name for it: identical and parallel to. Added in Unicode 3.2 (2002).
U+2A69. Three bars crossed by three upright strokes. Added in Unicode 3.2 (2002).
U+2A76. One character that Unicode defines as three equals signs in a row, ===. Added in Unicode 3.2 (2002).
U+2A75. One character defined as two equals signs in a row, ==. ⩵ in HTML. Added in Unicode 3.2 (2002).
U+27FA. The long form of ⇔. ⟺ in HTML and \Longleftrightarrow in LaTeX. Added in Unicode 3.2 (2002).
U+2194. A single-line arrow that points both ways: one of the notations for the biconditional, beside ⇔ and ≡. Alt+29 on a number pad, ↔ in HTML and \leftrightarrow in LaTeX.
U+21CE. ⇔ struck through. Unicode's note: negation of 21D4. ⇎ in HTML; \nLeftrightarrow in LaTeX needs amssymb.
U+226D. ≍ struck through. ≭ in HTML.
U+29E6. An equals sign closed by an upright stroke at each end. Unicode's other name for it: tautological equivalent. Added in Unicode 3.2 (2002).
U+2254. A colon before the equals sign, another way to write a definition; it shows which side is being defined. ≔ in HTML.
Made of p, U+2261 and q. p if and only if q, or p is logically equivalent to q, as the text defines it.
Made of C, U+2261 and C. A triple bond between two carbon atoms: HC≡CH is a common shorthand for acetylene.
Made of three equals signs from the keyboard. In some programming languages === tests that two values are equal and of the same type.
U+2630. Three unbroken lines, one of the trigram signs and not a math sign. Unicode's other name for it is qian2.
U+039E. A Greek letter drawn as three bars, not a math relation. Ξ in HTML and \Xi in LaTeX.
U+2AF4. Three bars standing upright. Unicode's other name for it: interleave. Added in Unicode 3.2 (2002).
U+1F7F0. Two heavy bars, an emoji. Unicode's note: symbol of equality. Added in Unicode 14.0 (2021).
The equivalent symbol is ≡: an equals sign with a third bar, U+2261, which Unicode names Identical to. Alt+240 types it on a number pad. Logic often writes the same idea as ⇔, and ≢ says not equivalent.
Read the full guide
What ≡ says
Between numbers it is congruence, a use that began with Gauss in 1801: 17 ≡ 5 (mod 12). Between formulas it marks an identity or a definition, where ≝ and ≔ also serve. In logic it reads if and only if, though some texts keep ⇔ for that and ≡ for logical equivalence.
With a Compose key, ≡ is Compose, =, then _.
Questions and answers
What is the symbol for equivalent?
≡, U+2261, the triple bar. For an equivalence relation, ~ and ≈ are other common choices, and logic also writes ⇔ or ↔. Unicode gives the name Equivalent to to another character, ≍.
What is the equal sign with three lines called?
The triple bar, or tribar. Unicode names it Identical to, and HTML calls it ≡. By context it reads identical to, equivalent to or congruent to.
How do I type the equivalent sign?
No key carries it. On a number pad, Alt+240 types ≡. In a web page write ≡, and in LaTeX \equiv. The struck form ≢ is in neither Alt code table: write ≢.
What is the difference between ≡ and =?
= says that two values are equal. ≡ makes a different claim that depends on the field: an identity, a definition, or a congruence between numbers. In a chemical formula = is a double bond and ≡ a triple bond, as in HC≡CH.
All 28 equivalent signs and look-alikes
Start here 8
≅Approximately equal toU+2245. A tilde over two bars, where ≡ has three bars: often used for congruent figures and for isomorphic structures. ≅ in HTML and \cong in LaTeX.
≝Equal to by definitionU+225D. An equals sign under the letters def: a definition, the job ≡ also does in some texts. It has no entity name.
=Equals signU+003D. Two bars, on the keyboard: equal. In a chemical formula it is a double bond, where ≡ is a triple bond. = in HTML.
≍Equivalent toU+224D. The character Unicode itself names Equivalent to: two arcs that bulge toward each other. ≍ in HTML and \asymp in LaTeX.
≡Identical toU+2261. The triple bar: an equals sign with a third bar. It reads identical to, equivalent to or congruent to, by context. Alt+240 on a number pad, ≡ in HTML and \equiv in LaTeX.
⇔Left right double arrowU+21D4. If and only if. Some texts write this arrow for the connective and keep ≡ for logical equivalence. ⇔ or ⇔ in HTML and \Leftrightarrow in LaTeX.
≢Not identical toU+2262. The triple bar struck through: not identical, not equivalent. It is in neither Alt code table. ≢ in HTML, and \not\equiv in LaTeX.
≣Strictly equivalent toU+2263. Four bars, one more than ≡. It has no entity name.
Show all 28 equivalent signs and look-alikes (20 more)
Three bars 7
⩸Equivalent with four dots aboveU+2A78. ≡ under four dots. ⩸ in HTML. Added in Unicode 3.2 (2002).
⧥Identical to and slanted parallelU+29E5. ≡ crossed by two slanting strokes. ⧥ in HTML. Added in Unicode 3.2 (2002).
⩧Identical with dot aboveU+2A67. ≡ under a single dot. Added in Unicode 3.2 (2002), with no entity name.
⩶Three consecutive equals signsU+2A76. One character that Unicode defines as three equals signs in a row, ===. Added in Unicode 3.2 (2002).
⩨Triple horizontal bar with double vertical strokeU+2A68. Three bars crossed by two upright strokes. Unicode's other name for it: identical and parallel to. Added in Unicode 3.2 (2002).
⩩Triple horizontal bar with triple vertical strokeU+2A69. Three bars crossed by three upright strokes. Added in Unicode 3.2 (2002).
⩵Two consecutive equals signsU+2A75. One character defined as two equals signs in a row, ==. ⩵ in HTML. Added in Unicode 3.2 (2002).
Equivalent in logic 4
⧦Gleich starkU+29E6. An equals sign closed by an upright stroke at each end. Unicode's other name for it: tautological equivalent. Added in Unicode 3.2 (2002).
↔Left right arrowU+2194. A single-line arrow that points both ways: one of the notations for the biconditional, beside ⇔ and ≡. Alt+29 on a number pad, ↔ in HTML and \leftrightarrow in LaTeX.
⇎Left right double arrow with strokeU+21CE. ⇔ struck through. Unicode's note: negation of 21D4. ⇎ in HTML; \nLeftrightarrow in LaTeX needs amssymb.
⟺Long left right double arrowU+27FA. The long form of ⇔. ⟺ in HTML and \Longleftrightarrow in LaTeX. Added in Unicode 3.2 (2002).
By definition 1
≔Colon equalsU+2254. A colon before the equals sign, another way to write a definition; it shows which side is being defined. ≔ in HTML.
Ready-made 3
C≡CCarbon triple bondMade of C, U+2261 and C. A triple bond between two carbon atoms: HC≡CH is a common shorthand for acetylene.
p≡qP equivalent to qMade of p, U+2261 and q. p if and only if q, or p is logically equivalent to q, as the text defines it.
===Three equals signs, typedMade of three equals signs from the keyboard. In some programming languages === tests that two values are equal and of the same type.
Not the same sign 5
ΞGreek capital letter xiU+039E. A Greek letter drawn as three bars, not a math relation. Ξ in HTML and \Xi in LaTeX.
🟰Heavy equals signU+1F7F0. Two heavy bars, an emoji. Unicode's note: symbol of equality. Added in Unicode 14.0 (2021).
≭Not equivalent toU+226D. ≍ struck through. ≭ in HTML.
☰Trigram for heavenU+2630. Three unbroken lines, one of the trigram signs and not a math sign. Unicode's other name for it is qian2.
⫴Triple vertical bar binary relationU+2AF4. Three bars standing upright. Unicode's other name for it: interleave. Added in Unicode 3.2 (2002).