# Relations

Equality, order, and set relations.

https://texform.dev/latex/topics/relations

This topic has 103 symbols from the ams and base packages. Symbols are single characters and are not render-tested, so they carry no support level. Entries are ordered by how often they appear in corpus formulas.

Packages: ams (68), base (35).

| Name | Kind | Definition | Packages | Frequency |
| --- | --- | --- | --- | --- |
| [\\in](https://texform.dev/latex/symbols/in) | symbol | ∈ U+2208 element of | base | 12.86% |
| [\\leq](https://texform.dev/latex/symbols/leq) | symbol | ≤ U+2264 less-than or equal to | base | 9.64% |
| [\\geq](https://texform.dev/latex/symbols/geq) | symbol | ≥ U+2265 greater-than or equal to | base | 3.97% |
| [\\le](https://texform.dev/latex/symbols/le) | symbol | ≤ U+2264 less-than or equal to | base | 3.57% |
| [\\equiv](https://texform.dev/latex/symbols/equiv) | symbol | ≡ U+2261 identical to | base | 1.71% |
| [\\ge](https://texform.dev/latex/symbols/ge) | symbol | ≥ U+2265 greater-than or equal to | base | 1.55% |
| [\\approx](https://texform.dev/latex/symbols/approx) | symbol | ≈ U+2248 almost equal to | base | 1.10% |
| [\\mid](https://texform.dev/latex/symbols/mid) | symbol | ∣ U+2223 divides | base | 1.03% |
| [\\lesssim](https://texform.dev/latex/symbols/lesssim) | symbol | ≲ U+2272 less-than or equivalent to | ams | 0.98% |
| [\\leqslant](https://texform.dev/latex/symbols/leqslant) | symbol | ⩽ U+2A7D less-than or slanted equal to | ams | 0.85% |
| [\\simeq](https://texform.dev/latex/symbols/simeq) | symbol | ≃ U+2243 asymptotically equal to | base | 0.84% |
| [\\subset](https://texform.dev/latex/symbols/subset) | symbol | ⊂ U+2282 subset of | base | 0.77% |
| [\\perp](https://texform.dev/latex/symbols/perp) | symbol | ⟂ U+27C2 perpendicular | base | 0.60% |
| [\\cong](https://texform.dev/latex/symbols/cong) | symbol | ≅ U+2245 approximately equal to | base | 0.59% |
| [\\subseteq](https://texform.dev/latex/symbols/subseteq) | symbol | ⊆ U+2286 subset of or equal to | base | 0.50% |
| [\\ll](https://texform.dev/latex/symbols/ll) | symbol | ≪ U+226A much less-than | base | 0.41% |
| [\\propto](https://texform.dev/latex/symbols/propto) | symbol | ∝ U+221D proportional to | base | 0.37% |
| [\\geqslant](https://texform.dev/latex/symbols/geqslant) | symbol | ⩾ U+2A7E greater-than or slanted equal to | ams | 0.36% |
| [\\parallel](https://texform.dev/latex/symbols/parallel) | symbol | ∥ U+2225 parallel to | base | 0.22% |
| [\\triangleq](https://texform.dev/latex/symbols/triangleq) | symbol | ≜ U+225C delta equal to | ams | 0.19% |
| [\\gg](https://texform.dev/latex/symbols/gg) | symbol | ≫ U+226B much greater-than | base | 0.14% |
| [\\ni](https://texform.dev/latex/symbols/ni) | symbol | ∋ U+220B contains as member | base | 0.09% |
| [\\gtrsim](https://texform.dev/latex/symbols/gtrsim) | symbol | ≳ U+2273 greater-than or equivalent to | ams | 0.08% |
| [\\prec](https://texform.dev/latex/symbols/prec) | symbol | ≺ U+227A precedes | base | 0.08% |
| [\\supset](https://texform.dev/latex/symbols/supset) | symbol | ⊃ U+2283 superset of | base | 0.07% |
| [\\preceq](https://texform.dev/latex/symbols/preceq) | symbol | ⪯ U+2AAF precedes above single-line equals sign | base | 0.06% |
| [\\asymp](https://texform.dev/latex/symbols/asymp) | symbol | ≍ U+224D equivalent to | base | 0.06% |
| [\\doteq](https://texform.dev/latex/symbols/doteq) | symbol | ≐ U+2250 approaches the limit | base | 0.05% |
| [\\vdash](https://texform.dev/latex/symbols/vdash) | symbol | ⊢ U+22A2 right tack | base | 0.05% |
| [\\succeq](https://texform.dev/latex/symbols/succeq) | symbol | ⪰ U+2AB0 succeeds above single-line equals sign | base | 0.05% |
| [\\models](https://texform.dev/latex/symbols/models) | symbol | ⊧ U+22A7 models | base | 0.04% |
| [\\succ](https://texform.dev/latex/symbols/succ) | symbol | ≻ U+227B succeeds | base | 0.03% |
| [\\supseteq](https://texform.dev/latex/symbols/supseteq) | symbol | ⊇ U+2287 superset of or equal to | base | 0.03% |
| [\\preccurlyeq](https://texform.dev/latex/symbols/preccurlyeq) | symbol | ≼ U+227C precedes or equal to | ams | 0.01% |
| [\\sqsubseteq](https://texform.dev/latex/symbols/sqsubseteq) | symbol | ⊑ U+2291 square image of or equal to | base | <0.01% |
| [\\thicksim](https://texform.dev/latex/symbols/thicksim) | symbol | ∼ U+223C tilde operator | ams | <0.01% |
| [\\frown](https://texform.dev/latex/symbols/frown) | symbol | ⌢ U+2322 frown | base | <0.01% |
| [\\vDash](https://texform.dev/latex/symbols/vDash) | symbol | ⊨ U+22A8 true | ams | <0.01% |
| [\\Vdash](https://texform.dev/latex/symbols/Vdash) | symbol | ⊩ U+22A9 forces | ams | <0.01% |
| [\\smile](https://texform.dev/latex/symbols/smile) | symbol | ⌣ U+2323 smile | base | <0.01% |
| [\\leqq](https://texform.dev/latex/symbols/leqq) | symbol | ≦ U+2266 less-than over equal to | ams | <0.01% |
| [\\precsim](https://texform.dev/latex/symbols/precsim) | symbol | ≾ U+227E precedes or equivalent to | ams | <0.01% |
| [\\dashv](https://texform.dev/latex/symbols/dashv) | symbol | ⊣ U+22A3 left tack | base | <0.01% |
| [\\gtrless](https://texform.dev/latex/symbols/gtrless) | symbol | ≷ U+2277 greater-than or less-than | ams | <0.01% |
| [\\lessapprox](https://texform.dev/latex/symbols/lessapprox) | symbol | ⪅ U+2A85 less-than or approximate | ams | <0.01% |
| [\\shortmid](https://texform.dev/latex/symbols/shortmid) | symbol | ∣ U+2223 divides | ams | <0.01% |
| [\\therefore](https://texform.dev/latex/symbols/therefore) | symbol | ∴ U+2234 therefore | ams | <0.01% |
| [\\succcurlyeq](https://texform.dev/latex/symbols/succcurlyeq) | symbol | ≽ U+227D succeeds or equal to | ams | <0.01% |
| [\\bowtie](https://texform.dev/latex/symbols/bowtie) | symbol | ⋈ U+22C8 bowtie | base | <0.01% |
| [\\shortparallel](https://texform.dev/latex/symbols/shortparallel) | symbol | ∥ U+2225 parallel to | ams | <0.01% |
| [\\Subset](https://texform.dev/latex/symbols/Subset) | symbol | ⋐ U+22D0 double subset | ams | <0.01% |
| [\\because](https://texform.dev/latex/symbols/because) | symbol | ∵ U+2235 because | ams | <0.01% |
| [\\doteqdot](https://texform.dev/latex/symbols/doteqdot) | symbol | ≑ U+2251 geometrically equal to | ams | <0.01% |
| [\\geqq](https://texform.dev/latex/symbols/geqq) | symbol | ≧ U+2267 greater-than over equal to | ams | <0.01% |
| [\\eqsim](https://texform.dev/latex/symbols/eqsim) | symbol | ≂ U+2242 minus tilde | ams | <0.01% |
| [\\thickapprox](https://texform.dev/latex/symbols/thickapprox) | symbol | ≈ U+2248 almost equal to | ams | <0.01% |
| [\\vartriangleleft](https://texform.dev/latex/symbols/vartriangleleft) | symbol | ⊲ U+22B2 normal subgroup of | ams | <0.01% |
| [\\vartriangleright](https://texform.dev/latex/symbols/vartriangleright) | symbol | ⊳ U+22B3 contains as normal subgroup | ams | <0.01% |
| [\\lessgtr](https://texform.dev/latex/symbols/lessgtr) | symbol | ≶ U+2276 less-than or greater-than | ams | <0.01% |
| [\\trianglelefteq](https://texform.dev/latex/symbols/trianglelefteq) | symbol | ⊴ U+22B4 normal subgroup of or equal to | ams | <0.01% |
| [\\lessdot](https://texform.dev/latex/symbols/lessdot) | symbol | ⋖ U+22D6 less-than with dot | ams | <0.01% |
| [\\pitchfork](https://texform.dev/latex/symbols/pitchfork) | symbol | ⋔ U+22D4 pitchfork | ams | <0.01% |
| [\\blacktriangleright](https://texform.dev/latex/symbols/blacktriangleright) | symbol | ▸ U+25B8 black right-pointing small triangle | ams | <0.01% |
| [\\gtrapprox](https://texform.dev/latex/symbols/gtrapprox) | symbol | ⪆ U+2A86 greater-than or approximate | ams | <0.01% |
| [\\blacktriangleleft](https://texform.dev/latex/symbols/blacktriangleleft) | symbol | ◂ U+25C2 black left-pointing small triangle | ams | <0.01% |
| [\\varpropto](https://texform.dev/latex/symbols/varpropto) | symbol | ∝ U+221D proportional to | ams | <0.01% |
| [\\smallfrown](https://texform.dev/latex/symbols/smallfrown) | symbol | ⌢ U+2322 frown | ams | <0.01% |
| [\\sqsubset](https://texform.dev/latex/symbols/sqsubset) | symbol | ⊏ U+228F square image of | ams | <0.01% |
| [\\backsim](https://texform.dev/latex/symbols/backsim) | symbol | ∽ U+223D reversed tilde | ams | <0.01% |
| [\\succsim](https://texform.dev/latex/symbols/succsim) | symbol | ≿ U+227F succeeds or equivalent to | ams | <0.01% |
| [\\approxeq](https://texform.dev/latex/symbols/approxeq) | symbol | ≊ U+224A almost equal or equal to | ams | <0.01% |
| [\\backsimeq](https://texform.dev/latex/symbols/backsimeq) | symbol | ⋍ U+22CD reversed tilde equals | ams | <0.01% |
| [\\smallsmile](https://texform.dev/latex/symbols/smallsmile) | symbol | ⌣ U+2323 smile | ams | <0.01% |
| [\\Join](https://texform.dev/latex/symbols/Join) | symbol | ⋈ U+22C8 bowtie | ams | <0.01% |
| [\\lll](https://texform.dev/latex/symbols/lll) | symbol | ⋘ U+22D8 very much less-than | ams | <0.01% |
| [\\owns](https://texform.dev/latex/symbols/owns) | symbol | ∋ U+220B contains as member | base | <0.01% |
| [\\eqcirc](https://texform.dev/latex/symbols/eqcirc) | symbol | ≖ U+2256 ring in equal to | ams | <0.01% |
| [\\circeq](https://texform.dev/latex/symbols/circeq) | symbol | ≗ U+2257 ring equal to | ams | <0.01% |
| [\\gtrdot](https://texform.dev/latex/symbols/gtrdot) | symbol | ⋗ U+22D7 greater-than with dot | ams | <0.01% |
| [\\trianglerighteq](https://texform.dev/latex/symbols/trianglerighteq) | symbol | ⊵ U+22B5 contains as normal subgroup or equal to | ams | <0.01% |
| [\\precapprox](https://texform.dev/latex/symbols/precapprox) | symbol | ⪷ U+2AB7 precedes above almost equal to | ams | <0.01% |
| [\\ggg](https://texform.dev/latex/symbols/ggg) | symbol | ⋙ U+22D9 very much greater-than | ams | <0.01% |
| [\\gtreqless](https://texform.dev/latex/symbols/gtreqless) | symbol | ⋛ U+22DB greater-than equal to or less-than | ams | <0.01% |
| [\\sqsupset](https://texform.dev/latex/symbols/sqsupset) | symbol | ⊐ U+2290 square original of | ams | <0.01% |
| [\\sqsupseteq](https://texform.dev/latex/symbols/sqsupseteq) | symbol | ⊒ U+2292 square original of or equal to | base | <0.01% |
| [\\bumpeq](https://texform.dev/latex/symbols/bumpeq) | symbol | ≏ U+224F difference between | ams | <0.01% |
| [\\fallingdotseq](https://texform.dev/latex/symbols/fallingdotseq) | symbol | ≒ U+2252 approximately equal to or the image of | ams | <0.01% |
| [\\gtreqqless](https://texform.dev/latex/symbols/gtreqqless) | symbol | ⪌ U+2A8C greater-than above double-line equal above less-than | ams | <0.01% |
| [\\lesseqgtr](https://texform.dev/latex/symbols/lesseqgtr) | symbol | ⋚ U+22DA less-than equal to or greater-than | ams | <0.01% |
| [\\between](https://texform.dev/latex/symbols/between) | symbol | ≬ U+226C between | ams | <0.01% |
| [\\Bumpeq](https://texform.dev/latex/symbols/Bumpeq) | symbol | ≎ U+224E geometrically equivalent to | ams | <0.01% |
| [\\eqslantless](https://texform.dev/latex/symbols/eqslantless) | symbol | ⪕ U+2A95 slanted equal to or less-than | ams | <0.01% |
| [\\lesseqqgtr](https://texform.dev/latex/symbols/lesseqqgtr) | symbol | ⪋ U+2A8B less-than above double-line equal above greater-than | ams | <0.01% |
| [\\subseteqq](https://texform.dev/latex/symbols/subseteqq) | symbol | ⫅ U+2AC5 subset of above equals sign | ams | <0.01% |
| [\\Supset](https://texform.dev/latex/symbols/Supset) | symbol | ⋑ U+22D1 double superset | ams | <0.01% |
| [\\Doteq](https://texform.dev/latex/symbols/Doteq) | symbol | ≑ U+2251 geometrically equal to | ams | 0% |
| [\\eqslantgtr](https://texform.dev/latex/symbols/eqslantgtr) | symbol | ⪖ U+2A96 slanted equal to or greater-than | ams | 0% |
| [\\risingdotseq](https://texform.dev/latex/symbols/risingdotseq) | symbol | ≓ U+2253 image of or approximately equal to | ams | 0% |
| [\\succapprox](https://texform.dev/latex/symbols/succapprox) | symbol | ⪸ U+2AB8 succeeds above almost equal to | ams | 0% |
| [\\supseteqq](https://texform.dev/latex/symbols/supseteqq) | symbol | ⫆ U+2AC6 superset of above equals sign | ams | 0% |
| [\\gggtr](https://texform.dev/latex/symbols/gggtr) | symbol | ⋙ U+22D9 very much greater-than | ams | — |
| [\\llless](https://texform.dev/latex/symbols/llless) | symbol | ⋘ U+22D8 very much less-than | ams | — |
| [\\Vvdash](https://texform.dev/latex/symbols/Vvdash) | symbol | ⊪ U+22AA triple vertical bar right turnstile | ams | — |