[
  {
    "Symbol": "\u2208",
    "Name": "Element Of",
    "Meaning": "States that an object belongs to a set.",
    "Latex": "\\in",
    "Unicode": "U\u002B2208",
    "url": "/symbol/element-of/"
  },
  {
    "Symbol": "\u2209",
    "Name": "Not an Element Of",
    "Meaning": "States that an object does not belong to a set.",
    "Latex": "\\notin",
    "Unicode": "U\u002B2209",
    "url": "/symbol/not-element-of/"
  },
  {
    "Symbol": "\u2282",
    "Name": "Subset / Proper Subset",
    "Meaning": "Often denotes a proper subset, although conventions vary between textbooks.",
    "Latex": "\\subset",
    "Unicode": "U\u002B2282",
    "url": "/symbol/subset/"
  },
  {
    "Symbol": "\u2286",
    "Name": "Subset or Equal To",
    "Meaning": "States that every element of the left set is in the right set, allowing equality.",
    "Latex": "\\subseteq",
    "Unicode": "U\u002B2286",
    "url": "/symbol/subset-or-equal/"
  },
  {
    "Symbol": "\u2283",
    "Name": "Superset Of",
    "Meaning": "Indicates that the left set contains the right set.",
    "Latex": "\\supset",
    "Unicode": "U\u002B2283",
    "url": "/symbol/superset/"
  },
  {
    "Symbol": "\u2287",
    "Name": "Superset Of or Equal To",
    "Meaning": "Indicates that every element of the right set is in the left set.",
    "Latex": "\\supseteq",
    "Unicode": "U\u002B2287",
    "url": "/symbol/superset-or-equal/"
  },
  {
    "Symbol": "\u222A",
    "Name": "Union",
    "Meaning": "Forms the set of elements that appear in either set.",
    "Latex": "\\cup",
    "Unicode": "U\u002B222A",
    "url": "/symbol/union/"
  },
  {
    "Symbol": "\u2229",
    "Name": "Intersection",
    "Meaning": "Forms the set of elements shared by both sets.",
    "Latex": "\\cap",
    "Unicode": "U\u002B2229",
    "url": "/symbol/intersection/"
  },
  {
    "Symbol": "\u2205",
    "Name": "Empty Set",
    "Meaning": "Represents the unique set containing no elements.",
    "Latex": "\\varnothing",
    "Unicode": "U\u002B2205",
    "url": "/symbol/empty-set/"
  },
  {
    "Symbol": "\u2216",
    "Name": "Set Minus",
    "Meaning": "Represents elements in one set that are not in another.",
    "Latex": "\\setminus",
    "Unicode": "U\u002B2216",
    "url": "/symbol/set-minus/"
  },
  {
    "Symbol": "\u2200",
    "Name": "For All",
    "Meaning": "Universal quantifier meaning that a statement holds for every allowed value.",
    "Latex": "\\forall",
    "Unicode": "U\u002B2200",
    "url": "/symbol/for-all/"
  },
  {
    "Symbol": "\u2203",
    "Name": "There Exists",
    "Meaning": "Existential quantifier meaning that at least one value satisfies a statement.",
    "Latex": "\\exists",
    "Unicode": "U\u002B2203",
    "url": "/symbol/exists/"
  },
  {
    "Symbol": "\u2204",
    "Name": "There Does Not Exist",
    "Meaning": "States that no object satisfies a stated property.",
    "Latex": "\\nexists",
    "Unicode": "U\u002B2204",
    "url": "/symbol/not-exists/"
  },
  {
    "Symbol": "\u2227",
    "Name": "Logical And",
    "Meaning": "Conjunction that is true only when both component statements are true.",
    "Latex": "\\land",
    "Unicode": "U\u002B2227",
    "url": "/symbol/logical-and/"
  },
  {
    "Symbol": "\u2228",
    "Name": "Logical Or",
    "Meaning": "Inclusive disjunction that is true when at least one component statement is true.",
    "Latex": "\\lor",
    "Unicode": "U\u002B2228",
    "url": "/symbol/logical-or/"
  },
  {
    "Symbol": "\u00AC",
    "Name": "Logical Not",
    "Meaning": "Negates a proposition or Boolean value.",
    "Latex": "\\neg",
    "Unicode": "U\u002B00AC",
    "url": "/symbol/logical-not/"
  },
  {
    "Symbol": "\u21D2",
    "Name": "Implies",
    "Meaning": "Indicates logical implication from a premise to a conclusion.",
    "Latex": "\\Rightarrow",
    "Unicode": "U\u002B21D2",
    "url": "/symbol/implies/"
  },
  {
    "Symbol": "\u21D4",
    "Name": "If and Only If",
    "Meaning": "Indicates that two statements imply each other and are logically equivalent.",
    "Latex": "\\Leftrightarrow",
    "Unicode": "U\u002B21D4",
    "url": "/symbol/iff/"
  },
  {
    "Symbol": "\u2234",
    "Name": "Therefore",
    "Meaning": "Marks a conclusion that follows from preceding statements.",
    "Latex": "\\therefore",
    "Unicode": "U\u002B2234",
    "url": "/symbol/therefore/"
  },
  {
    "Symbol": "\u2235",
    "Name": "Because Symbol",
    "Meaning": "Introduces a reason, premise, or justification in a compact mathematical argument.",
    "Latex": "\\because",
    "Unicode": "U\u002B2235",
    "url": "/symbol/because-symbol/"
  },
  {
    "Symbol": "\u22A2",
    "Name": "Turnstile",
    "Meaning": "Indicates syntactic derivability from assumptions.",
    "Latex": "\\vdash",
    "Unicode": "U\u002B22A2",
    "url": "/symbol/turnstile/"
  },
  {
    "Symbol": "\u22A8",
    "Name": "Models",
    "Meaning": "Indicates semantic satisfaction or entailment.",
    "Latex": "\\models",
    "Unicode": "U\u002B22A8",
    "url": "/symbol/models/"
  },
  {
    "Symbol": "\u22A5",
    "Name": "Bottom",
    "Meaning": "Represents falsehood in logic or perpendicularity in some contexts.",
    "Latex": "\\bot",
    "Unicode": "U\u002B22A5",
    "url": "/symbol/contradiction/"
  },
  {
    "Symbol": "\u21BB",
    "Name": "Clockwise Circle Arrow",
    "Meaning": "Represents the clockwise circle arrow in mappings, implications, transformations, limits, or paired processes.",
    "Latex": "\\circlearrowright",
    "Unicode": "U\u002B21BB",
    "url": "/symbol/clockwise-circle-arrow/"
  },
  {
    "Symbol": "\u220B",
    "Name": "Contains As Member",
    "Meaning": "Reverses the element-of relation and says that the set contains the object.",
    "Latex": "\\ni",
    "Unicode": "U\u002B220B",
    "url": "/symbol/contains-as-member/"
  },
  {
    "Symbol": "\u22FA",
    "Name": "Contains with Long Horizontal Stroke",
    "Meaning": "The Unicode character \u22FA is named contains with long horizontal stroke and is used as a specialized mathematical sign in contexts where its exact shape carries meaning.",
    "Latex": "\u22FA",
    "Unicode": "U\u002B22FA",
    "url": "/symbol/contains-with-long-horizontal-stroke/"
  },
  {
    "Symbol": "\u22FD",
    "Name": "Contains with Overbar",
    "Meaning": "The Unicode character \u22FD is named contains with overbar and is used as a specialized mathematical sign in contexts where its exact shape carries meaning.",
    "Latex": "\u22FD",
    "Unicode": "U\u002B22FD",
    "url": "/symbol/contains-with-overbar/"
  },
  {
    "Symbol": "\u22FB",
    "Name": "Contains with Vertical Bar At End Of Horizontal Stroke",
    "Meaning": "The Unicode character \u22FB is named contains with vertical bar at end of horizontal stroke and is used as a specialized mathematical sign in contexts where its exact shape carries meaning.",
    "Latex": "\u22FB",
    "Unicode": "U\u002B22FB",
    "url": "/symbol/contains-with-vertical-bar-at-end-of-horizontal-stroke/"
  },
  {
    "Symbol": "\u21BA",
    "Name": "Counterclockwise Circle Arrow",
    "Meaning": "Represents the counterclockwise circle arrow in mappings, implications, transformations, limits, or paired processes.",
    "Latex": "\\circlearrowleft",
    "Unicode": "U\u002B21BA",
    "url": "/symbol/counterclockwise-circle-arrow/"
  },
  {
    "Symbol": "\u22CF",
    "Name": "Curly Logical And",
    "Meaning": "Represents a specialized meet or conjunction operation.",
    "Latex": "\\curlywedge",
    "Unicode": "U\u002B22CF",
    "url": "/symbol/curly-logical-and/"
  },
  {
    "Symbol": "\u22CE",
    "Name": "Curly Logical Or",
    "Meaning": "Represents a specialized join or disjunction operation.",
    "Latex": "\\curlyvee",
    "Unicode": "U\u002B22CE",
    "url": "/symbol/curly-logical-or/"
  },
  {
    "Symbol": "\u220C",
    "Name": "Does Not Contain As Member",
    "Meaning": "States that a set does not contain a given element.",
    "Latex": "\\not\\ni",
    "Unicode": "U\u002B220C",
    "url": "/symbol/does-not-contain/"
  },
  {
    "Symbol": "\u22AB",
    "Name": "Does Not Force Symbol",
    "Meaning": "States that a forcing or strong semantic consequence relation does not hold.",
    "Latex": "\\nVdash",
    "Unicode": "U\u002B22AB",
    "url": "/symbol/does-not-force/"
  },
  {
    "Symbol": "\u22E0",
    "Name": "Does Not Precede Or Equal",
    "Meaning": "The Unicode character \u22E0 is named does not precede or equal and is used as a specialized mathematical sign in contexts where its exact shape carries meaning.",
    "Latex": "\u22E0",
    "Unicode": "U\u002B22E0",
    "url": "/symbol/does-not-precede-or-equal/"
  },
  {
    "Symbol": "\u22E1",
    "Name": "Does Not Succeed Or Equal",
    "Meaning": "The Unicode character \u22E1 is named does not succeed or equal and is used as a specialized mathematical sign in contexts where its exact shape carries meaning.",
    "Latex": "\u22E1",
    "Unicode": "U\u002B22E1",
    "url": "/symbol/does-not-succeed-or-equal/"
  },
  {
    "Symbol": "\u22D2",
    "Name": "Double Intersection",
    "Meaning": "Represents the double intersection, a specialized mathematical operator or relation whose exact definition depends on context.",
    "Latex": "\\Cap",
    "Unicode": "U\u002B22D2",
    "url": "/symbol/double-intersection/"
  }
]