Math Operator Symbols

The complete Unicode Mathematical Operators block (U+2200–U+22FF): quantifiers, set theory, calculus, relations, logic and more. Each symbol page shows what it means, its LaTeX command and how to type it.

All 256 math operator symbols

∀For All∁Complement∂Partial Derivative∃There Exists∄There Does Not Exist∅Empty Set∆Increment∇Nabla∈Element Of∉Not an Element Of∊Small Element of∋Contains as Member∌Does Not Contain as Member∍Small Contains as Member∎End of Proof∏Product∐Coproduct∑Summation−Minus Sign∓Minus-or-Plus Sign∔Dot Plus∕Division Slash∖Set Minus∗Asterisk Operator∘Composition Operator∙Bullet Operator√Square Root∛Cube Root∜Fourth Root∝Proportional To∞Infinity∟Right Angle∠Angle∡Measured Angle∢Spherical Angle∣Divides∤Does Not Divide∥Parallel To∦Not Parallel To∧Logical And∨Logical Or∩Intersection∪Union∫Integral∬Double Integral∭Triple Integral∮Contour Integral∯Surface Integral∰Volume Integral∱Clockwise Integral∲Clockwise Contour Integral∳Anticlockwise Contour Integral∴Therefore∵Because∶Ratio∷Proportion∸Dot Minus∹Excess∺Geometric Proportion∻Homothetic∼Tilde Operator∽Reversed Tilde∾Inverted Lazy S∿Sine Wave≀Wreath Product≁Not Tilde≂Minus Tilde≃Asymptotically Equal To≄Not Asymptotically Equal to≅Congruent To≆Approximately but Not Actually Equal to≇Neither Approximately nor Actually Equal to≈Almost Equal To≉Not Almost Equal to≊Almost Equal or Equal to≋Triple Tilde≌All Equal to≍Equivalent to≎Geometrically Equivalent to≏Difference Between≐Approaches the Limit≑Geometrically Equal to≒Approximately Equal to or the Image of≓Image of or Approximately Equal to≔Colon Equals≕Equals Colon≖Ring in Equal to≗Ring Equal to≘Corresponds to≙Estimates≚Equiangular to≛Star Equals≜Equal by Definition≝Equal to by Definition≞Measured by≟Questioned Equal to≠Not Equal To≡Identical To≢Not Identical To≣Strictly Equivalent to≤Less-Than or Equal To≥Greater-Than or Equal To≦Less-Than over Equal to≧Greater-Than over Equal to≨Less-Than but Not Equal to≩Greater-Than but Not Equal to≪Much Less-Than≫Much Greater-Than≬Between≭Not Equivalent to≮Not Less-Than≯Not Greater-Than≰Neither Less-Than nor Equal to≱Neither Greater-Than nor Equal to≲Less-Than or Equivalent to≳Greater-Than or Equivalent to≴Neither Less-Than nor Equivalent to≵Neither Greater-Than nor Equivalent to≶Less-Than or Greater-Than≷Greater-Than or Less-Than≸Neither Less-Than nor Greater-Than≹Neither Greater-Than nor Less-Than≺Precedes≻Succeeds≼Precedes or Equal to≽Succeeds or Equal to≾Precedes or Equivalent to≿Succeeds or Equivalent to⊀Does Not Precede⊁Does Not Succeed⊂Subset Of⊃Superset Of⊄Not a Subset Of⊅Not a Superset of⊆Subset Of or Equal To⊇Superset Of or Equal To⊈Neither a Subset of nor Equal to⊉Neither a Superset of nor Equal to⊊Subset of with Not Equal to⊋Superset of with Not Equal to⊌Multiset⊍Multiset Multiplication⊎Multiset Union⊏Square Image of⊐Square Original of⊑Square Image of or Equal to⊒Square Original of or Equal to⊓Square Cap⊔Square Cup⊕Circled Plus⊖Circled Minus⊗Circled Times⊘Circled Division Slash⊙Circled Dot Operator⊚Circled Ring Operator⊛Circled Asterisk Operator⊜Circled Equals⊝Circled Dash⊞Squared Plus⊟Squared Minus⊠Squared Times⊡Squared Dot Operator⊢Turnstile⊣Left Tack⊤Down Tack⊥Up Tack⊦Assertion⊧Models⊨Double Turnstile⊩Forces⊪Triple Vertical Bar Right Turnstile⊫Double Vertical Bar Double Right Turnstile⊬Does Not Prove⊭Not True⊮Does Not Force⊯Negated Double Vertical Bar Double Right Turnstile⊰Precedes Under Relation⊱Succeeds Under Relation⊲Normal Subgroup of⊳Contains as Normal Subgroup⊴Normal Subgroup of or Equal to⊵Contains as Normal Subgroup or Equal to⊶Original of⊷Image of⊸Multimap⊹Hermitian Conjugate Matrix⊺Intercalate⊻XOR⊼NAND⊽NOR⊾Right Angle with Arc⊿Right Triangle⋀N-ary Logical And⋁N-ary Logical Or⋂N-ary Intersection⋃N-ary Union⋄Diamond Operator⋅Dot Operator⋆Star Operator⋇Division Times⋈Bowtie⋉Left Normal Factor Semidirect Product⋊Right Normal Factor Semidirect Product⋋Left Semidirect Product⋌Right Semidirect Product⋍Reversed Tilde Equals⋎Curly Logical or⋏Curly Logical and⋐Double Subset⋑Double Superset⋒Double Intersection⋓Double Union⋔Pitchfork⋕Equal and Parallel to⋖Less-Than with Dot⋗Greater-Than with Dot⋘Very Much Less-Than⋙Very Much Greater-Than⋚Less-Than Equal to or Greater-Than⋛Greater-Than Equal to or Less-Than⋜Equal to or Less-Than⋝Equal to or Greater-Than⋞Equal to or Precedes⋟Equal to or Succeeds⋠Does Not Precede or Equal⋡Does Not Succeed or Equal⋢Not Square Image of or Equal to⋣Not Square Original of or Equal to⋤Square Image of or Not Equal to⋥Square Original of or Not Equal to⋦Less-Than but Not Equivalent to⋧Greater-Than but Not Equivalent to⋨Precedes but Not Equivalent to⋩Succeeds but Not Equivalent to⋪Not Normal Subgroup of⋫Does Not Contain as Normal Subgroup⋬Not Normal Subgroup of or Equal to⋭Does Not Contain as Normal Subgroup or Equal⋮Vertical Ellipsis⋯Midline Horizontal Ellipsis⋰Up Right Diagonal Ellipsis⋱Down Right Diagonal Ellipsis⋲Element of with Long Horizontal Stroke⋳Element of with Vertical Bar at End of Horizontal Stroke⋴Small Element of with Vertical Bar at End of Horizontal Stroke⋵Element of with Dot Above⋶Element of with Overbar⋷Small Element of with Overbar⋸Element of with Underbar⋹Element of with Two Horizontal Strokes⋺Contains with Long Horizontal Stroke⋻Contains with Vertical Bar at End of Horizontal Stroke⋼Small Contains with Vertical Bar at End of Horizontal Stroke⋽Contains with Overbar⋾Small Contains with Overbar⋿Z Notation Bag Membership

Reference table

SymbolNameCodeLaTeX
∀For AllU+2200\forall
∁ComplementU+2201\complement
∂Partial DerivativeU+2202\partial
∃There ExistsU+2203\exists
∄There Does Not ExistU+2204\nexists
∅Empty SetU+2205\emptyset
∆IncrementU+2206\Delta
∇NablaU+2207\nabla
∈Element OfU+2208\in
∉Not an Element OfU+2209\notin
∊Small Element ofU+220A—
∋Contains as MemberU+220B\ni
∌Does Not Contain as MemberU+220C—
∍Small Contains as MemberU+220D—
∎End of ProofU+220E—
∏ProductU+220F\prod
∐CoproductU+2210\coprod
∑SummationU+2211\sum
−Minus SignU+2212-
∓Minus-or-Plus SignU+2213\mp
∔Dot PlusU+2214\dotplus
∕Division SlashU+2215—
∖Set MinusU+2216\setminus
∗Asterisk OperatorU+2217\ast
∘Composition OperatorU+2218\circ
∙Bullet OperatorU+2219\bullet
√Square RootU+221A\sqrt{x}
∛Cube RootU+221B\sqrt[3]{x}
∜Fourth RootU+221C\sqrt[4]{x}
∝Proportional ToU+221D\propto
∞InfinityU+221E\infty
∟Right AngleU+221F—
∠AngleU+2220\angle
∡Measured AngleU+2221\measuredangle
∢Spherical AngleU+2222\sphericalangle
∣DividesU+2223\mid
∤Does Not DivideU+2224\nmid
∥Parallel ToU+2225\parallel
∦Not Parallel ToU+2226\nparallel
∧Logical AndU+2227\wedge
∨Logical OrU+2228\vee
∩IntersectionU+2229\cap
∪UnionU+222A\cup
∫IntegralU+222B\int
∬Double IntegralU+222C\iint
∭Triple IntegralU+222D\iiint
∮Contour IntegralU+222E\oint
∯Surface IntegralU+222F—
∰Volume IntegralU+2230—
∱Clockwise IntegralU+2231—
∲Clockwise Contour IntegralU+2232—
∳Anticlockwise Contour IntegralU+2233—
∴ThereforeU+2234\therefore
∵BecauseU+2235\because
∶RatioU+2236—
∷ProportionU+2237::
∸Dot MinusU+2238—
∹ExcessU+2239—
∺Geometric ProportionU+223A—
∻HomotheticU+223B—
∼Tilde OperatorU+223C\sim
∽Reversed TildeU+223D\backsim
∾Inverted Lazy SU+223E—
∿Sine WaveU+223F—
≀Wreath ProductU+2240\wr
≁Not TildeU+2241\nsim
≂Minus TildeU+2242\eqsim
≃Asymptotically Equal ToU+2243\simeq
≄Not Asymptotically Equal toU+2244—
≅Congruent ToU+2245\cong
≆Approximately but Not Actually Equal toU+2246—
≇Neither Approximately nor Actually Equal toU+2247\ncong
≈Almost Equal ToU+2248\approx
≉Not Almost Equal toU+2249—
≊Almost Equal or Equal toU+224A\approxeq
≋Triple TildeU+224B—
≌All Equal toU+224C—
≍Equivalent toU+224D\asymp
≎Geometrically Equivalent toU+224E\Bumpeq
≏Difference BetweenU+224F\bumpeq
≐Approaches the LimitU+2250\doteq
≑Geometrically Equal toU+2251\doteqdot
≒Approximately Equal to or the Image ofU+2252\fallingdotseq
≓Image of or Approximately Equal toU+2253\risingdotseq
≔Colon EqualsU+2254\coloneqq
≕Equals ColonU+2255—
≖Ring in Equal toU+2256\eqcirc
≗Ring Equal toU+2257\circeq
≘Corresponds toU+2258—
≙EstimatesU+2259—
≚Equiangular toU+225A—
≛Star EqualsU+225B—
≜Equal by DefinitionU+225C\triangleq
≝Equal to by DefinitionU+225D—
≞Measured byU+225E—
≟Questioned Equal toU+225F—
≠Not Equal ToU+2260\neq
≡Identical ToU+2261\equiv
≢Not Identical ToU+2262\not\equiv
≣Strictly Equivalent toU+2263—
≤Less-Than or Equal ToU+2264\leq
≥Greater-Than or Equal ToU+2265\geq
≦Less-Than over Equal toU+2266\leqq
≧Greater-Than over Equal toU+2267\geqq
≨Less-Than but Not Equal toU+2268\lneqq
≩Greater-Than but Not Equal toU+2269\gneqq
≪Much Less-ThanU+226A\ll
≫Much Greater-ThanU+226B\gg
≬BetweenU+226C\between
≭Not Equivalent toU+226D—
≮Not Less-ThanU+226E\nless
≯Not Greater-ThanU+226F\ngtr
≰Neither Less-Than nor Equal toU+2270\nleq
≱Neither Greater-Than nor Equal toU+2271\ngeq
≲Less-Than or Equivalent toU+2272\lesssim
≳Greater-Than or Equivalent toU+2273\gtrsim
≴Neither Less-Than nor Equivalent toU+2274—
≵Neither Greater-Than nor Equivalent toU+2275—
≶Less-Than or Greater-ThanU+2276\lessgtr
≷Greater-Than or Less-ThanU+2277\gtrless
≸Neither Less-Than nor Greater-ThanU+2278—
≹Neither Greater-Than nor Less-ThanU+2279—
≺PrecedesU+227A\prec
≻SucceedsU+227B\succ
≼Precedes or Equal toU+227C\preccurlyeq
≽Succeeds or Equal toU+227D\succcurlyeq
≾Precedes or Equivalent toU+227E\precsim
≿Succeeds or Equivalent toU+227F\succsim
⊀Does Not PrecedeU+2280\nprec
⊁Does Not SucceedU+2281\nsucc
⊂Subset OfU+2282\subset
⊃Superset OfU+2283\supset
⊄Not a Subset OfU+2284\not\subset
⊅Not a Superset ofU+2285\not\supset
⊆Subset Of or Equal ToU+2286\subseteq
⊇Superset Of or Equal ToU+2287\supseteq
⊈Neither a Subset of nor Equal toU+2288\nsubseteq
⊉Neither a Superset of nor Equal toU+2289\nsupseteq
⊊Subset of with Not Equal toU+228A\subsetneq
⊋Superset of with Not Equal toU+228B\supsetneq
⊌MultisetU+228C—
⊍Multiset MultiplicationU+228D—
⊎Multiset UnionU+228E\uplus
⊏Square Image ofU+228F\sqsubset
⊐Square Original ofU+2290\sqsupset
⊑Square Image of or Equal toU+2291\sqsubseteq
⊒Square Original of or Equal toU+2292\sqsupseteq
⊓Square CapU+2293\sqcap
⊔Square CupU+2294\sqcup
⊕Circled PlusU+2295\oplus
⊖Circled MinusU+2296\ominus
⊗Circled TimesU+2297\otimes
⊘Circled Division SlashU+2298\oslash
⊙Circled Dot OperatorU+2299\odot
⊚Circled Ring OperatorU+229A\circledcirc
⊛Circled Asterisk OperatorU+229B\circledast
⊜Circled EqualsU+229C—
⊝Circled DashU+229D\circleddash
⊞Squared PlusU+229E\boxplus
⊟Squared MinusU+229F\boxminus
⊠Squared TimesU+22A0\boxtimes
⊡Squared Dot OperatorU+22A1\boxdot
⊢TurnstileU+22A2\vdash
⊣Left TackU+22A3\dashv
⊤Down TackU+22A4\top
⊥Up TackU+22A5\bot
⊦AssertionU+22A6—
⊧ModelsU+22A7\models
⊨Double TurnstileU+22A8\vDash
⊩ForcesU+22A9\Vdash
⊪Triple Vertical Bar Right TurnstileU+22AA\Vvdash
⊫Double Vertical Bar Double Right TurnstileU+22AB—
⊬Does Not ProveU+22AC\nvdash
⊭Not TrueU+22AD\nvDash
⊮Does Not ForceU+22AE\nVdash
⊯Negated Double Vertical Bar Double Right TurnstileU+22AF\nVDash
⊰Precedes Under RelationU+22B0—
⊱Succeeds Under RelationU+22B1—
⊲Normal Subgroup ofU+22B2\lhd
⊳Contains as Normal SubgroupU+22B3\rhd
⊴Normal Subgroup of or Equal toU+22B4\unlhd
⊵Contains as Normal Subgroup or Equal toU+22B5\unrhd
⊶Original ofU+22B6—
⊷Image ofU+22B7—
⊸MultimapU+22B8\multimap
⊹Hermitian Conjugate MatrixU+22B9—
⊺IntercalateU+22BA\intercal
⊻XORU+22BB\veebar
⊼NANDU+22BC\barwedge
⊽NORU+22BD—
⊾Right Angle with ArcU+22BE—
⊿Right TriangleU+22BF—
⋀N-ary Logical AndU+22C0\bigwedge
⋁N-ary Logical OrU+22C1\bigvee
⋂N-ary IntersectionU+22C2\bigcap
⋃N-ary UnionU+22C3\bigcup
⋄Diamond OperatorU+22C4\diamond
⋅Dot OperatorU+22C5\cdot
⋆Star OperatorU+22C6\star
⋇Division TimesU+22C7\divideontimes
⋈BowtieU+22C8\bowtie
⋉Left Normal Factor Semidirect ProductU+22C9\ltimes
⋊Right Normal Factor Semidirect ProductU+22CA\rtimes
⋋Left Semidirect ProductU+22CB\leftthreetimes
⋌Right Semidirect ProductU+22CC\rightthreetimes
⋍Reversed Tilde EqualsU+22CD\backsimeq
⋎Curly Logical orU+22CE\curlyvee
⋏Curly Logical andU+22CF\curlywedge
⋐Double SubsetU+22D0\Subset
⋑Double SupersetU+22D1\Supset
⋒Double IntersectionU+22D2\Cap
⋓Double UnionU+22D3\Cup
⋔PitchforkU+22D4\pitchfork
⋕Equal and Parallel toU+22D5—
⋖Less-Than with DotU+22D6\lessdot
⋗Greater-Than with DotU+22D7\gtrdot
⋘Very Much Less-ThanU+22D8\lll
⋙Very Much Greater-ThanU+22D9\ggg
⋚Less-Than Equal to or Greater-ThanU+22DA\lesseqgtr
⋛Greater-Than Equal to or Less-ThanU+22DB\gtreqless
⋜Equal to or Less-ThanU+22DC—
⋝Equal to or Greater-ThanU+22DD—
⋞Equal to or PrecedesU+22DE\curlyeqprec
⋟Equal to or SucceedsU+22DF\curlyeqsucc
⋠Does Not Precede or EqualU+22E0\npreceq
⋡Does Not Succeed or EqualU+22E1\nsucceq
⋢Not Square Image of or Equal toU+22E2—
⋣Not Square Original of or Equal toU+22E3—
⋤Square Image of or Not Equal toU+22E4—
⋥Square Original of or Not Equal toU+22E5—
⋦Less-Than but Not Equivalent toU+22E6\lnsim
⋧Greater-Than but Not Equivalent toU+22E7\gnsim
⋨Precedes but Not Equivalent toU+22E8\precnsim
⋩Succeeds but Not Equivalent toU+22E9\succnsim
⋪Not Normal Subgroup ofU+22EA\ntriangleleft
⋫Does Not Contain as Normal SubgroupU+22EB\ntriangleright
⋬Not Normal Subgroup of or Equal toU+22EC\ntrianglelefteq
⋭Does Not Contain as Normal Subgroup or EqualU+22ED\ntrianglerighteq
⋮Vertical EllipsisU+22EE\vdots
⋯Midline Horizontal EllipsisU+22EF\cdots
⋰Up Right Diagonal EllipsisU+22F0—
⋱Down Right Diagonal EllipsisU+22F1\ddots
⋲Element of with Long Horizontal StrokeU+22F2—
⋳Element of with Vertical Bar at End of Horizontal StrokeU+22F3—
⋴Small Element of with Vertical Bar at End of Horizontal StrokeU+22F4—
⋵Element of with Dot AboveU+22F5—
⋶Element of with OverbarU+22F6—
⋷Small Element of with OverbarU+22F7—
⋸Element of with UnderbarU+22F8—
⋹Element of with Two Horizontal StrokesU+22F9—
⋺Contains with Long Horizontal StrokeU+22FA—
⋻Contains with Vertical Bar at End of Horizontal StrokeU+22FB—
⋼Small Contains with Vertical Bar at End of Horizontal StrokeU+22FC—
⋽Contains with OverbarU+22FD—
⋾Small Contains with OverbarU+22FE—
⋿Z Notation Bag MembershipU+22FF—