| Name | Symbol | HTML Code | CSS Code | HTML Entity | Hex Code | Unicode |
|---|---|---|---|---|---|---|
| Succeeds or Equivalent To | ≿ | ≿ | \227F | ≿ | ≿ | U+0227F |
| Does Not Precede | ⊀ | ⊀ | \2280 | ⊀ | ⊀ | U+02280 |
| Does Not Succeed | ⊁ | ⊁ | \2281 | ⊁ | ⊁ | U+02281 |
| Subset Of | ⊂ | ⊂ | \2282 | ⊂ | ⊂ | U+02282 |
| Superset Of | ⊃ | ⊃ | \2283 | ⊃ | ⊃ | U+02283 |
| Not a Subset Of | ⊄ | ⊄ | \2284 | ⊄ | ⊄ | U+02284 |
| Not a Superset Of | ⊅ | ⊅ | \2285 | ⊅ | ⊅ | U+02285 |
| Subset of or Equal To | ⊆ | ⊆ | \2286 | ⊆ | ⊆ | U+02286 |
| Superset of or Equal To | ⊇ | ⊇ | \2287 | ⊇ | ⊇ | U+02287 |
| Neither a Subset of Nor Equal To | ⊈ | ⊈ | \2288 | ⊈ | ⊈ | U+02288 |
| Neither a Superset of Nor Equal To | ⊉ | ⊉ | \2289 | ⊉ | ⊉ | U+02289 |
| Subset of With Not Equal To | ⊊ | ⊊ | \228A | ⊊ | ⊊ | U+0228A |
| Superset of With Not Equal To | ⊋ | ⊋ | \228B | ⊋ | ⊋ | U+0228B |
| Multiset | ⊌ | ⊌ | \228C | | ⊌ | U+0228C |
| Multiset Multiplication | ⊍ | ⊍ | \228D | ⊍ | ⊍ | U+0228D |
| Multiset Union | ⊎ | ⊎ | \228E | ⊎ | ⊎ | U+0228E |
| Square Image Of | ⊏ | ⊏ | \228F | ⊏ | ⊏ | U+0228F |
| Square Original Of | ⊐ | ⊐ | \2290 | ⊐ | ⊐ | U+02290 |
| Square Image of or Equal To | ⊑ | ⊑ | \2291 | ⊑ | ⊑ | U+02291 |
| Square Original of or Equal To | ⊒ | ⊒ | \2292 | ⊒ | ⊒ | U+02292 |
| Square Cap | ⊓ | ⊓ | \2293 | ⊓ | ⊓ | U+02293 |
| Square Cup | ⊔ | ⊔ | \2294 | ⊔ | ⊔ | U+02294 |
| Circled Plus | ⊕ | ⊕ | \2295 | ⊕ | ⊕ | U+02295 |
| Circled Minus | ⊖ | ⊖ | \2296 | ⊖ | ⊖ | U+02296 |
| Circled Times | ⊗ | ⊗ | \2297 | ⊗ | ⊗ | U+02297 |
| Circled Division Slash | ⊘ | ⊘ | \2298 | ⊘ | ⊘ | U+02298 |
| Circled Dot Operator | ⊙ | ⊙ | \2299 | ⊙ | ⊙ | U+02299 |
| Circled Ring Operator | ⊚ | ⊚ | \229A | ⊚ | ⊚ | U+0229A |
| Circled Asterisk Operator | ⊛ | ⊛ | \229B | ⊛ | ⊛ | U+0229B |
| Circled Equals | ⊜ | ⊜ | \229C | | ⊜ | U+0229C |
| Circled Dash | ⊝ | ⊝ | \229D | ⊝ | ⊝ | U+0229D |
| Squared Plus | ⊞ | ⊞ | \229E | ⊞ | ⊞ | U+0229E |
| Squared Minus | ⊟ | ⊟ | \229F | ⊟ | ⊟ | U+0229F |
| Squared Times | ⊠ | ⊠ | \22A0 | ⊠ | ⊠ | U+022A0 |
| Squared Dot Operator | ⊡ | ⊡ | \22A1 | ⊡ | ⊡ | U+022A1 |
| Right Tack | ⊢ | ⊢ | \22A2 | ⊢ | ⊢ | U+022A2 |
| Left Tack | ⊣ | ⊣ | \22A3 | ⊣ | ⊣ | U+022A3 |
| Down Tack | ⊤ | ⊤ | \22A4 | ⊤ | ⊤ | U+022A4 |
| Up Tack | ⊥ | ⊥ | \22A5 | ⊥ | ⊥ | U+022A5 |
| Assertion | ⊦ | ⊦ | \22A6 | | ⊦ | U+022A6 |
| Models | ⊧ | ⊧ | \22A7 | ⊧ | ⊧ | U+022A7 |
| True | ⊨ | ⊨ | \22A8 | ⊨ | ⊨ | U+022A8 |
| Forces | ⊩ | ⊩ | \22A9 | ⊩ | ⊩ | U+022A9 |
| Triple Vertical Bar Right Turnstile | ⊪ | ⊪ | \22AA | ⊪ | ⊪ | U+022AA |
| Double Vertical Bar Double Right Turnstile | ⊫ | ⊫ | \22AB | ⊫ | ⊫ | U+022AB |
| Does Not Prove | ⊬ | ⊬ | \22AC | ⊬ | ⊬ | U+022AC |
| Not True | ⊭ | ⊭ | \22AD | ⊭ | ⊭ | U+022AD |
| Does Not Force | ⊮ | ⊮ | \22AE | ⊮ | ⊮ | U+022AE |
| Negated Double Vertical Bar Double Right Turnstile | ⊯ | ⊯ | \22AF | ⊯ | ⊯ | U+022AF |
| Precedes Under Relation | ⊰ | ⊰ | \22B0 | ⊰ | ⊰ | U+022B0 |