Complete Comparison & Relation Symbols

This page contains 40 comparison and relation symbols, covering basic equality, inequality, size comparison, approximation symbols, congruence symbols, order relations (much greater than, much less than), subset relations in set theory, divisibility comparison in number theory, and advanced symbols for logical assignment and priority comparison. These symbols are ubiquitous in elementary mathematics, advanced mathematics, computer science, logic, and various engineering formulas. Below is a detailed introduction to each symbol's technical parameters, application scenarios, and usage recommendations.

＝ Equality & Definition Symbols

= is called the "Equals Sign". It indicates that the values on both sides are equal. Its Unicode is U+003D, the LaTeX command is =, and the HTML entity is =.

≠ is called the "Not Equal To Symbol". It indicates inequality between two values. Its Unicode is U+2260, the LaTeX command is \neq or \ne, and the HTML entity is ≠.

≔ is called the "Colon Equals Symbol". It is used to denote definition or assignment. Its Unicode is U+2254, the LaTeX command is \coloneqq (requires mathtools), and the HTML entity is ≔.

≝ is called the "Equals Colon Symbol". It is similar to ≔ but with the colon on the right, used for definition. Its Unicode is U+225D, the LaTeX command is \eqcolon, and the HTML entity is ≝.

＜ Comparison Symbols

< is called the "Less-Than Sign". It indicates that the value on the left is smaller than the value on the right. Its Unicode is U+003C, the LaTeX command is <, and the HTML entity is <.

> is called the "Greater-Than Sign". It indicates that the value on the left is larger than the value on the right. Its Unicode is U+003E, the LaTeX command is >, and the HTML entity is >.

≤ is called the "Less-Than or Equal To Symbol". It indicates that the left value is less than or equal to the right value. Its Unicode is U+2264, the LaTeX command is \leq, and the HTML entity is ≤.

≥ is called the "Greater-Than or Equal To Symbol". It indicates that the left value is greater than or equal to the right value. Its Unicode is U+2265, the LaTeX command is \geq, and the HTML entity is ≥.

≪ is called the "Much Less-Than Symbol". It indicates that one value is significantly smaller than another. Its Unicode is U+226A, the LaTeX command is \ll, and the HTML entity is ≪.

≫ is called the "Much Greater-Than Symbol". It indicates that one value is significantly larger than another. Its Unicode is U+226B, the LaTeX command is \gg, and the HTML entity is ≫.

≈ Approximation & Similarity Symbols

≈ is called the "Approximately Equal To Symbol". It indicates that two values are approximately equal. Its Unicode is U+2248, the LaTeX command is \approx, and the HTML entity is ≈.

≉ is called the "Not Approximately Equal To Symbol". It indicates that two values are not approximately equal. Its Unicode is U+2249, the LaTeX command is \napprox, and the HTML entity is ≉.

∼ is called the "Tilde Operator". It denotes similarity, equivalence relation, or is often used to indicate a proportional relationship. Its Unicode is U+223C, the LaTeX command is \sim, and the HTML entity is ∼.

≃ is called the "Asymptotically Equal To Symbol". It indicates that two functions are asymptotically equal. Its Unicode is U+2243, the LaTeX command is \simeq, and the HTML entity is ≃.

≄ is called the "Not Asymptotically Equal To Symbol". It negates asymptotic equality. Its Unicode is U+2244, the LaTeX command is \nsimeq, and the HTML entity is ≄.

≅ Congruence & Isomorphism Symbols

≅ is called the "Congruent To Symbol". It indicates congruence in geometry or isomorphism in algebra. Its Unicode is U+2245, the LaTeX command is \cong, and the HTML entity is ≅.

≇ is called the "Not Congruent To Symbol". It negates congruence or isomorphism. Its Unicode is U+2247, the LaTeX command is \ncong, and the HTML entity is ≇.

≡ Identity & Congruence Symbols

≡ is called the "Identical To Symbol". It denotes an identity, a tautology, or congruence in modular arithmetic. Its Unicode is U+2261, the LaTeX command is \equiv, and the HTML entity is ≡.

≢ is called the "Not Identical To Symbol". It negates an identity or congruence. Its Unicode is U+2262, the LaTeX command is \not\equiv, and the HTML entity is ≢.

⋞ Order & Priority Symbols

≺ is called the "Precedes Symbol". It indicates a precedence or order relation, often used in order theory. Its Unicode is U+227A, the LaTeX command is \prec, and the HTML entity is ≺.

≻ is called the "Succeeds Symbol". It is the opposite of precedes. Its Unicode is U+227B, the LaTeX command is \succ, and the HTML entity is ≻.

≼ is called the "Precedes or Equal To Symbol". It combines precedence with equality. Its Unicode is U+227C, the LaTeX command is \preccurlyeq, and the HTML entity is ≼.

≽ is called the "Succeeds or Equal To Symbol". It combines succession with equality. Its Unicode is U+227D, the LaTeX command is \succcurlyeq, and the HTML entity is ≽.

⋞ is called the "Curly Precedes Symbol". It represents a specific type of precedence relation. Its Unicode is U+22DE, the LaTeX command is \curlyeqprec, and the HTML entity is ⋞.

⋟ is called the "Curly Succeeds Symbol". It is the counterpart to curly precedes. Its Unicode is U+22DF, the LaTeX command is \curlyeqsucc, and the HTML entity is ⋟.

⊏ Subset & Inclusion Relations

⊏ is called the "Square Subset Symbol". It denotes a subset relation, often in order theory or lattice theory. Its Unicode is U+228F, the LaTeX command is \sqsubset, and the HTML entity is ⊏.

⊐ is called the "Square Superset Symbol". It denotes a superset relation. Its Unicode is U+2290, the LaTeX command is \sqsupset, and the HTML entity is ⊐.

⊑ is called the "Square Subset or Equal To Symbol". It indicates subset with equality. Its Unicode is U+2291, the LaTeX command is \sqsubseteq, and the HTML entity is ⊑.

⊒ is called the "Square Superset or Equal To Symbol". It indicates superset with equality. Its Unicode is U+2292, the LaTeX command is \sqsupseteq, and the HTML entity is ⊒.

⊂ is called the "Subset Of Symbol". It denotes a proper subset in set theory. Its Unicode is U+2282, the LaTeX command is \subset, and the HTML entity is ⊂.

⊃ is called the "Superset Of Symbol". It denotes a proper superset. Its Unicode is U+2283, the LaTeX command is \supset, and the HTML entity is ⊃.

⊆ is called the "Subset of or Equal To Symbol". It denotes a subset allowing equality. Its Unicode is U+2286, the LaTeX command is \subseteq, and the HTML entity is ⊆.

⊇ is called the "Superset of or Equal To Symbol". It denotes a superset allowing equality. Its Unicode is U+2287, the LaTeX command is \supseteq, and the HTML entity is ⊇.

≗ Special Relation Symbols

≗ is called the "Circled Equals Symbol". It is used to denote a particular equivalence relation. Its Unicode is U+2257, the LaTeX command is \circeq, and the HTML entity is ≗.

≘ is called the "Equals Circled Symbol". It is a variant relation symbol. Its Unicode is U+2258, the LaTeX command is \eqcirc, and the HTML entity is ≘.

≙ is called the "Wedge Equals Symbol". It is used in some logical or mathematical contexts. Its Unicode is U+2259, the LaTeX command is \wedgeq, and the HTML entity is ≙.

≚ is called the "Vee Equals Symbol". It is a counterpart to wedge equals. Its Unicode is U+225A, the LaTeX command is \veeeq, and the HTML entity is ≚.

≛ is called the "Star Equals Symbol". It indicates a relation defined with a star operator. Its Unicode is U+225B, the LaTeX command is \stareq, and the HTML entity is ≛.

≜ is called the "Triangle Equals Symbol". It is often used to denote a definition or a delta-equals relation. Its Unicode is U+225C, the LaTeX command is \triangleq, and the HTML entity is ≜.

∝ is called the "Proportional To Symbol". It indicates that two quantities are directly proportional. Its Unicode is U+221D, the LaTeX command is \propto, and the HTML entity is ∝.

📌 Usage Notes & Typesetting Tips

When using comparison and relation symbols, note these key points: First, in LaTeX, distinguish between text and math modes—all relation symbols must be used in math mode ($a \le b$). Second, much less than (≪) and much greater than (≫) may display too small in inline formulas; use \displaystyle if needed. Third, approximation (≈) and similar (∼) are easily confused—\approx for numerical approximation, \sim for geometric similarity. Fourth, definition symbols (≔) require amsmath or mathtools packages for \coloneqq. Fifth, subset symbols (⊏, ⊐) may render poorly in some fonts. Sixth, special symbols (≝) may not support old LaTeX versions. Seventh, identical (≡) and star equals (≛) look similar but have different semantics. Eighth, all symbols can be copied with one click via the details panel.

💡 Usage Tips

To copy Unicode, LaTeX commands, or HTML entities, click the corresponding symbol card above and select the item in the details panel. Each symbol can generate SVG vector code or be downloaded as a 512×512 transparent PNG image. For mathematical documents, LaTeX commands are recommended for optimal typesetting, especially for complex relation symbols (≪, ≫, ≔, ⊏), as LaTeX provides precise spacing control and semantic markup.