Triple Bar — Definition, Formula & Examples
The triple bar (≡) is a symbol with three horizontal lines stacked like an equals sign with an extra bar. It is used to show that something is identically equal, defined as, or congruent modulo some number.
The triple bar symbol ≡ has three distinct meanings depending on context: (1) an identity that holds for all values of the variable, such as ; (2) a definition where a new symbol or expression is being introduced, such as ; and (3) modular congruence, where means divides .
How It Works
The triple bar tells you something stronger or different than a regular equals sign. When it marks an identity, it means the equation is true for every possible value of the variable, not just specific solutions. When it marks a definition, it signals that the left side is being defined as the right side. In modular arithmetic, means and leave the same remainder when divided by . Context usually makes the intended meaning clear: if you see , it is modular congruence; if variables appear with no restrictions, it is likely an identity.
Worked Example
Problem: Determine whether 17 ≡ 5 (mod 4) is true.
Step 1: Compute the difference of the two numbers.
Step 2: Check whether 4 divides that difference evenly.
Step 3: Since 4 divides 12 with no remainder, the congruence holds.
Answer: True. 17 is congruent to 5 modulo 4 because their difference, 12, is divisible by 4.
Why It Matters
Modular congruence with the triple bar appears throughout number theory, cryptography (including RSA encryption), and computer science. Identity notation shows up in trigonometry proofs, where you must distinguish identities like from conditional equations.
Common Mistakes
Mistake: Treating ≡ and = as interchangeable.
Correction: The equals sign states that two sides have the same value for specific cases. The triple bar conveys a stronger or specialized relationship—universal truth (identity), a new definition, or same-remainder equivalence (congruence mod n).