Extension:Math/Native MathML/Operators

Full set of supported operators Related T375974 and T402029

See also case 12 in Extension:Math/Native_MathML/Reported_Cases

Operators

12c	A + B - C \pm D \mp E \dotplus F	$A+B-C\pm D\mp E\dotplus F$ $A+B-C\pm D\mp E\dotplus F$
12d	A \times B \div C \divideontimes D / E \backslash F	$A\times B÷C\divideontimes D/E\mathrm{\setminus }F$ $A\times B\div C\divideontimes D/E\backslash F$
12e	A\cdot B * C \ast D \star E \circ F \bullet G	$A\cdot B*C\ast D\star E\circ F\bullet G$ $A\cdot B*C\ast D\star E\circ F\bullet G$
12f	A \boxplus B \boxminus C \boxtimes D \boxdot E	$A⊞B\boxminus C⊠D⊡E$ $A\boxplus B\boxminus C\boxtimes D\boxdot E$
12g	A \oplus B \ominus C \otimes D \oslash E \odot F	$A\oplus B\ominus C\otimes D\oslash E\odot F$ $A\oplus B\ominus C\otimes D\oslash E\odot F$
12h	A \circleddash B \circledcirc C \circledast D	$A⊝B⊚C⊛D$ $A\circleddash B\circledcirc C\circledast D$
12i	A \in B \notin A \not\in B \ni B \not\ni C	$A\in B\notin A\in ̸B\ni B\ni ̸C$ $A\in B\notin A\not \in B\ni B\not \ni C$
12j	A \cap B \Cap B \sqcap B \bigcap C	$A\cap B⋒B\sqcap B\bigcap C$ $A\cap B\Cap B\sqcap B\bigcap C$
12k	A \cup B \Cup B \sqcup B \bigcup B \bigsqcup B \uplus B \biguplus C	$A\cup B⋓B\bigsqcup B\bigcup B⨆B\uplus B⨄C$ $A\cup B\Cup B\sqcup B\bigcup B\bigsqcup B\uplus B\biguplus C$
12l	A \setminus B \smallsetminus B \times C	$A\setminus B\setminus B\times C$ $A\setminus B\smallsetminus B\times C$
12m	A \subset B \Subset B \sqsubset C	$A\subset B⋐B⊏C$ $A\subset B\Subset B\sqsubset C$
12n	A \supset B \Supset B \sqsupset C	$A\supset B⋑B⊐C$ $A\supset B\Supset B\sqsupset C$
12o	A \subseteq B \nsubseteq B \subsetneq B \varsubsetneq B \sqsubseteq C	$A\subseteq B⊈B⊊B⊊B⊑C$ $A\subseteq B\nsubseteq B\subsetneq B\varsubsetneq B\sqsubseteq C$
12p	A \supseteq B \nsupseteq B \supsetneq B \varsupsetneq B \sqsupseteq C	$A\supseteq B⊉B⊋B⊋B⊒C$ $A\supseteq B\nsupseteq B\supsetneq B\varsupsetneq B\sqsupseteq C$
12q	A \subseteqq B \nsubseteqq B \subsetneqq B \varsubsetneqq C	$A⫅B⊈B⫋B⫋C$ $A\subseteqq B\nsubseteqq B\subsetneqq B\varsubsetneqq C$
12r	A \supseteqq B \nsupseteqq B \supsetneqq B \varsupsetneqq C	$A⫆B⊉B⫌B⫌C$ $A\supseteqq B\nsupseteqq B\supsetneqq B\varsupsetneqq C$
12s	A = B \ne B \neq B \equiv B \not\equiv C	$A=B\ne B\ne B\equiv B\equiv ̸C$ $A=B\neq B\neq B\equiv B\not \equiv C$
12t	A \doteq B \doteqdot B \overset{\underset{\mathrm{def} }{} }{=} B := C	$A\doteq B\doteqdot B\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}B:=C$ $A\doteq B\doteqdot B{\overset {\underset {\mathrm {def} }{}}{=}}B:=C$
12u	A \sim B \nsim B \backsim B \thicksim B \simeq B \backsimeq B \eqsim B \cong B \ncong C	$A\sim B\nsim B\backsim B\sim B\simeq B\backsimeq B\eqsim B\cong B≆C$ $A\sim B\nsim B\backsim B\thicksim B\simeq B\backsimeq B\eqsim B\cong B\ncong C$
12v	A \approx B \thickapprox B \approxeq B \asymp B \propto B \varpropto C	$A\approx B\approx B\approxeq B\asymp B\propto B\propto C$ $A\approx B\thickapprox B\approxeq B\asymp B\propto B\varpropto C$
12w	A < B \nless B \ll B \not\ll B \lll B \not\lll B \lessdot C	$A<B\nless B\ll B\ll ̸B⋘B⋘̸B⋖C$ $A<B\nless B\ll B\not \ll B\lll B\not \lll B\lessdot C$
12x	A > B \ngtr B \gg B \not\gg B \ggg B \not\ggg B \gtrdot C	$A>B\ngtr B\gg B\gg ̸B⋙B⋙̸B⋗C$ $A>B\ngtr B\gg B\not \gg B\ggg B\not \ggg B\gtrdot C$
12y	A \le B \leq C \lneq D \leqq E \nleq F \nleqq G \lneqq H \lvertneqq I	$A\le B\le C⪇D\leqq E\nleqq F\nleqq G\lneqq H\lneqq I$ $A\leq B\leq C\lneq D\leqq E\nleq F\nleqq G\lneqq H\lvertneqq I$
12z	A \ge B \geq C \gneq D \geqq E \ngeq F \ngeqq G \gneqq H \gvertneqq I	$A\ge B\ge C⪈D\geqq E\ngeqq F\ngeqq G\gneqq H\gneqq I$ $A\geq B\geq C\gneq D\geqq E\ngeq F\ngeqq G\gneqq H\gvertneqq I$
12aa	A \lessgtr B \lesseqgtr B \lesseqqgtr B \gtrless B \gtreqless B \gtreqqless C	$A\lessgtr B⋚B⪋B\gtrless B⋛B⪌C$ $A\lessgtr B\lesseqgtr B\lesseqqgtr B\gtrless B\gtreqless B\gtreqqless C$
12ab	A \leqslant B \nleqslant B \eqslantless C	$A⩽B⪇B⪕C$ $A\leqslant B\nleqslant B\eqslantless C$
12ac	A \geqslant B \ngeqslant B \eqslantgtr C	$A⩾B⪈B⪖C$ $A\geqslant B\ngeqslant B\eqslantgtr C$
12ad	A \lesssim B \lnsim B \lessapprox B \lnapprox C	$A\lesssim B⋦B⪅B⪉C$ $A\lesssim B\lnsim B\lessapprox B\lnapprox C$
12ae	A \gtrsim B \gnsim B \gtrapprox B \gnapprox C	$A\gtrsim B⋧B⪆B⪊C$ $A\gtrsim B\gnsim B\gtrapprox B\gnapprox C$
12af	A \prec B \nprec B \preceq B \npreceq B \precneqq C	$A\prec B\nprec B⪯B⋠B⪵C$ $A\prec B\nprec B\preceq B\npreceq B\precneqq C$
12ag	A \succ B \nsucc B \succeq B \nsucceq B \succneqq C	$A\succ B\nsucc B⪰B⋡B⪶C$ $A\succ B\nsucc B\succeq B\nsucceq B\succneqq C$
12ah	A \preccurlyeq B \curlyeqprec C	$A\preccurlyeq B⋞C$ $A\preccurlyeq B\curlyeqprec C$
12ai	A \succcurlyeq B \curlyeqsucc C	$A\succcurlyeq B⋟C$ $A\succcurlyeq B\curlyeqsucc C$
12aj	A \precsim B \precnsim B \precapprox B \precnapprox C	$A\precsim B⋨B⪷B⪹C$ $A\precsim B\precnsim B\precapprox B\precnapprox C$
12ak	A \succsim B \succnsim B \succapprox B \succnapprox C	$A\succsim B⋩B⪸B⪺C$ $A\succsim B\succnsim B\succapprox B\succnapprox C$
12al	A \parallel B \nparallel B \shortparallel B \nshortparallel C	$A\parallel B\nparallel B\parallel B\nparallel C$ $A\parallel B\nparallel B\shortparallel B\nshortparallel C$
12am	A \perp B \angle B \sphericalangle B \measuredangle B 45^\circ C	$A\perp B\mathrm{\angle }B\sphericalangle B\measuredangle B45^{\circ }C$ $A\perp B\angle B\sphericalangle B\measuredangle B45^{\circ }C$
12an	A \Box B \square B \blacksquare B \diamond B \Diamond B \lozenge B \blacklozenge B \bigstar C	$A◻B◻B◼B\diamond B◊B◊B⧫B★C$ $A\Box B\square B\blacksquare B\diamond B\Diamond B\lozenge B\blacklozenge B\bigstar C$
12ao	A \bigcirc B \triangle B \bigtriangleup B \bigtriangledown C	$A◯B\mathrm{△}B△B▽C$ $A\bigcirc B\triangle B\bigtriangleup B\bigtriangledown C$
12ap	A \vartriangle B \triangledown C	$A△B▽C$ $A\vartriangle B\triangledown C$
12aq	A \blacktriangle B \blacktriangledown B \blacktriangleleft B \blacktriangleright C	$A▴B▾B◂B▸C$ $A\blacktriangle B\blacktriangledown B\blacktriangleleft B\blacktriangleright C$
12ar	A \forall B \exists B \nexists C	$A\mathrm{\forall }B\mathrm{\exists }B\nexists C$ $A\forall B\exists B\nexists C$
12as	A \therefore B \because B \And C	$A\therefore B\because B\mathrm{\&}C$ $A\therefore B\because B\And C$
12at	A \lor B \vee B \curlyvee B \bigvee C	$A\vee B\vee B⋎B\bigvee C$ $A\lor B\vee B\curlyvee B\bigvee C$
12au	A \land B \wedge B \curlywedge B \bigwedge C	$A\wedge B\wedge B⋏B\bigwedge C$ $A\land B\wedge B\curlywedge B\bigwedge C$
12av	A \lnot B \neg B \not\operatorname{R} B \bot B \top C	$A\mathrm{\neg }B\mathrm{\neg }B\text{⧸}\mathrm{R}B\mathrm{\perp }B\mathrm{\top }C$ $A\lnot B\neg B\not \operatorname {R} B\bot B\top C$
12aw	A \vdash B \dashv B \vDash B \Vdash B \models C	$A⊢B⊣B\models B⊩B\models C$ $A\vdash B\dashv B\vDash B\Vdash B\models C$
12ax	A \Vvdash B \nvdash B \nVdash B \nvDash B \nVDash C	$A\Vvdash B⊬B⊮B⊭B⊯C$ $A\Vvdash B\nvdash B\nVdash B\nvDash B\nVDash C$
12ay	A \ulcorner B \urcorner B \llcorner B \lrcorner C	$A⌜B⌝B⌞B⌟C$ $A\ulcorner B\urcorner B\llcorner B\lrcorner C$
12az	A \Rrightarrow B \Lleftarrow C	$A\Rrightarrow B\Lleftarrow C$ $A\Rrightarrow B\Lleftarrow C$
12ba	A \Rightarrow B \nRightarrow B \Longrightarrow B \implies C	$A\Rightarrow B\nRightarrow B⟹B⟹C$ $A\Rightarrow B\nRightarrow B\Longrightarrow B\implies C$
12bb	A \Leftarrow B \nLeftarrow B \Longleftarrow C	$A\Leftarrow B\nLeftarrow B⟸C$ $A\Leftarrow B\nLeftarrow B\Longleftarrow C$
12bc	A \Leftrightarrow B \nLeftrightarrow B \Longleftrightarrow B \iff C	$A\iff B\nLeftrightarrow B⟺B⟺C$ $A\Leftrightarrow B\nLeftrightarrow B\Longleftrightarrow B\iff C$
12bd	A \Uparrow B \Downarrow B \Updownarrow C	$A\Uparrow B\Downarrow B\Updownarrow C$ $A\Uparrow B\Downarrow B\Updownarrow C$
12be	A \rightarrow B \to B \nrightarrow B \longrightarrow C	$A\to B\to B\nrightarrow B⟶C$ $A\rightarrow B\to B\nrightarrow B\longrightarrow C$
12bf	A \leftarrow B \gets B \nleftarrow B \longleftarrow C	$A\leftarrow B\leftarrow B\nleftarrow B⟵C$ $A\leftarrow B\gets B\nleftarrow B\longleftarrow C$
12bg	A \leftrightarrow B \nleftrightarrow B \longleftrightarrow C	$A\leftrightarrow B\nleftrightarrow B⟷C$ $A\leftrightarrow B\nleftrightarrow B\longleftrightarrow C$
12bh	A \uparrow B \downarrow B \updownarrow C	$A\uparrow B\downarrow B\updownarrow C$ $A\uparrow B\downarrow B\updownarrow C$
12bi	A \nearrow B \swarrow B \nwarrow B \searrow C	$A\nearrow B\swarrow B\nwarrow B\searrow C$ $A\nearrow B\swarrow B\nwarrow B\searrow C$
12bj	A \mapsto B \longmapsto C	$A\mapsto B⟼C$ $A\mapsto B\longmapsto C$
12bk	A \rightharpoonup B \rightharpoondown B \leftharpoonup B \leftharpoondown B \upharpoonleft B \upharpoonright C \downharpoonleft C |- C	$A\rightharpoonup B\rightharpoondown B\leftharpoonup B\leftharpoondown B\upharpoonleft B\upharpoonright C\downharpoonleft C|-C$ $A\rightharpoonup B\rightharpoondown B\leftharpoonup B\leftharpoondown B\upharpoonleft B\upharpoonright C\downharpoonleft C|-C$
12bl	A \downharpoonright B \rightleftharpoons B \leftrightharpoons C	$A\downharpoonright B\rightleftharpoons B\leftrightharpoons C$ $A\downharpoonright B\rightleftharpoons B\leftrightharpoons C$
12bm	A \curvearrowleft B \circlearrowleft B \Lsh B \upuparrows B \rightrightarrows B \rightleftarrows B \rightarrowtail B \looparrowright C	$A\curvearrowleft B\circlearrowleft B\Lsh B\upuparrows B\rightrightarrows B\rightleftarrows B\rightarrowtail B\looparrowright C$ $A\curvearrowleft B\circlearrowleft B\Lsh B\upuparrows B\rightrightarrows B\rightleftarrows B\rightarrowtail B\looparrowright C$
12bn	A \curvearrowright B \circlearrowright B \Rsh B \downdownarrows B \leftleftarrows B \leftrightarrows B \leftarrowtail B \looparrowleft C	$A\curvearrowright B\circlearrowright B\Rsh B\downdownarrows B\leftleftarrows B\leftrightarrows B\leftarrowtail B\looparrowleft C$ $A\curvearrowright B\circlearrowright B\Rsh B\downdownarrows B\leftleftarrows B\leftrightarrows B\leftarrowtail B\looparrowleft C$
12bo	A \hookrightarrow B \hookleftarrow B \multimap B \leftrightsquigarrow B \rightsquigarrow B \twoheadrightarrow B \twoheadleftarrow C	$A\hookrightarrow B\hookleftarrow B⊸B\leftrightsquigarrow B⇝B\twoheadrightarrow B\twoheadleftarrow C$ $A\hookrightarrow B\hookleftarrow B\multimap B\leftrightsquigarrow B\rightsquigarrow B\twoheadrightarrow B\twoheadleftarrow C$
12bp	A \amalg B \P B \S B \% B \dagger B \ddagger B \ldots B \cdots B \vdots B \ddots C	$A⨿B\P B\mathrm{\S }B\mathrm{\%}B†B‡B\dots B\cdots B⋮B\ddots C$ $A\amalg B\P B\S B\%B\dagger B\ddagger B\ldots B\cdots B\vdots B\ddots C$
12bq	A \smile B \frown B \wr B \triangleleft B \triangleright C	$A⌣B⌢B\wr B◃B▹C$ $A\smile B\frown B\wr B\triangleleft B\triangleright C$
12br	A \diamondsuit B \heartsuit B \clubsuit B \spadesuit B \Game B \flat B \natural B \sharp C	$A\mathrm{♢}B\mathrm{♡}B\mathrm{♣}B\mathrm{♠}B⅁B\mathrm{♭}B\mathrm{♮}B\mathrm{♯}C$ $A\diamondsuit B\heartsuit B\clubsuit B\spadesuit B\Game B\flat B\natural B\sharp C$
12bs	A \diagup B \diagdown B \centerdot B \ltimes B \rtimes B \leftthreetimes B \rightthreetimes C	$A╱B╲B\cdot B⋉B⋊B⋋B⋌C$ $A\diagup B\diagdown B\centerdot B\ltimes B\rtimes B\leftthreetimes B\rightthreetimes C$
12bt	A \eqcirc B \circeq B \triangleq B \bumpeq B \Bumpeq B \doteqdot B \risingdotseq B \fallingdotseq C	$A\eqcirc B\circeq B\triangleq B\bumpeq B\Bumpeq B\doteqdot B\risingdotseq B\fallingdotseq C$ $A\eqcirc B\circeq B\triangleq B\bumpeq B\Bumpeq B\doteqdot B\risingdotseq B\fallingdotseq C$
12bu	A \intercal B \barwedge B \veebar B \doublebarwedge B \between B \pitchfork C	$A⊺B⊼B⊻B⩞B\between B⋔C$ $A\intercal B\barwedge B\veebar B\doublebarwedge B\between B\pitchfork C$
12bv	A \vartriangleleft B \ntriangleleft B \vartriangleright B \ntriangleright C	$A⊲B⋪B⊳B⋫C$ $A\vartriangleleft B\ntriangleleft B\vartriangleright B\ntriangleright C$
12bw	A \trianglelefteq B \ntrianglelefteq B \trianglerighteq B \ntrianglerighteq C	$A⊴B⋬B⊵B⋭C$ $A\trianglelefteq B\ntrianglelefteq B\trianglerighteq B\ntrianglerighteq C$
12bx	A \mid B \smile C \frown D \in E \ni F \vdash G \dashv H \models J \propto K	$A\mid B⌣C⌢D\in E\ni F⊢G⊣H\models J\propto K$ $A\mid B\smile C\frown D\in E\ni F\vdash G\dashv H\models J\propto K$	Other binary relations
12by	a\not=b	$a=b$ $a\not =b$	T402082 \not= ignored in MathML