Extension:Math/Native MathML/Operators
Appearance
From mediawiki.org
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
{\displaystyle A+B-C\pm D\mp E\dotplus F}
12d
A \times B \div C \divideontimes D / E \backslash F
{\displaystyle A\times B\div C\divideontimes D/E\backslash F}
12e
A\cdot B * C \ast D \star E \circ F \bullet G
{\displaystyle A\cdot B*C\ast D\star E\circ F\bullet G}
12f
A \boxplus B \boxminus C \boxtimes D \boxdot E
{\displaystyle A\boxplus B\boxminus C\boxtimes D\boxdot E}
12g
A \oplus B \ominus C \otimes D \oslash E \odot F
{\displaystyle A\oplus B\ominus C\otimes D\oslash E\odot F}
12h
A \circleddash B \circledcirc C \circledast D
{\displaystyle A\circleddash B\circledcirc C\circledast D}
12i
A \in B \notin A \not\in B \ni B \not\ni C
{\displaystyle A\in B\notin A\not \in B\ni B\not \ni C}
12j
A \cap B \Cap B \sqcap B \bigcap C
{\displaystyle 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
{\displaystyle A\cup B\Cup B\sqcup B\bigcup B\bigsqcup B\uplus B\biguplus C}
12l
A \setminus B \smallsetminus B \times C
{\displaystyle A\setminus B\smallsetminus B\times C}
12m
A \subset B \Subset B \sqsubset C
{\displaystyle A\subset B\Subset B\sqsubset C}
12n
A \supset B \Supset B \sqsupset C
{\displaystyle A\supset B\Supset B\sqsupset C}
12o
A \subseteq B \nsubseteq B \subsetneq B \varsubsetneq B \sqsubseteq C
{\displaystyle A\subseteq B\nsubseteq B\subsetneq B\varsubsetneq B\sqsubseteq C}
12p
A \supseteq B \nsupseteq B \supsetneq B \varsupsetneq B \sqsupseteq C
{\displaystyle A\supseteq B\nsupseteq B\supsetneq B\varsupsetneq B\sqsupseteq C}
12q
A \subseteqq B \nsubseteqq B \subsetneqq B \varsubsetneqq C
{\displaystyle A\subseteqq B\nsubseteqq B\subsetneqq B\varsubsetneqq C}
12r
A \supseteqq B \nsupseteqq B \supsetneqq B \varsupsetneqq C
{\displaystyle A\supseteqq B\nsupseteqq B\supsetneqq B\varsupsetneqq C}
12s
A = B \ne B \neq B \equiv B \not\equiv C
{\displaystyle A=B\neq B\neq B\equiv B\not \equiv C}
12t
A \doteq B \doteqdot B \overset{\underset{\mathrm{def} }{} }{=} B := C
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle A\lessgtr B\lesseqgtr B\lesseqqgtr B\gtrless B\gtreqless B\gtreqqless C}
12ab
A \leqslant B \nleqslant B \eqslantless C
{\displaystyle A\leqslant B\nleqslant B\eqslantless C}
12ac
A \geqslant B \ngeqslant B \eqslantgtr C
{\displaystyle A\geqslant B\ngeqslant B\eqslantgtr C}
12ad
A \lesssim B \lnsim B \lessapprox B \lnapprox C
{\displaystyle A\lesssim B\lnsim B\lessapprox B\lnapprox C}
12ae
A \gtrsim B \gnsim B \gtrapprox B \gnapprox C
{\displaystyle A\gtrsim B\gnsim B\gtrapprox B\gnapprox C}
12af
A \prec B \nprec B \preceq B \npreceq B \precneqq C
{\displaystyle A\prec B\nprec B\preceq B\npreceq B\precneqq C}
12ag
A \succ B \nsucc B \succeq B \nsucceq B \succneqq C
{\displaystyle A\succ B\nsucc B\succeq B\nsucceq B\succneqq C}
12ah
A \preccurlyeq B \curlyeqprec C
{\displaystyle A\preccurlyeq B\curlyeqprec C}
12ai
A \succcurlyeq B \curlyeqsucc C
{\displaystyle A\succcurlyeq B\curlyeqsucc C}
12aj
A \precsim B \precnsim B \precapprox B \precnapprox C
{\displaystyle A\precsim B\precnsim B\precapprox B\precnapprox C}
12ak
A \succsim B \succnsim B \succapprox B \succnapprox C
{\displaystyle A\succsim B\succnsim B\succapprox B\succnapprox C}
12al
A \parallel B \nparallel B \shortparallel B \nshortparallel C
{\displaystyle A\parallel B\nparallel B\shortparallel B\nshortparallel C}
12am
A \perp B \angle B \sphericalangle B \measuredangle B 45^\circ C
{\displaystyle 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
{\displaystyle 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
{\displaystyle A\bigcirc B\triangle B\bigtriangleup B\bigtriangledown C}
12ap
A \vartriangle B \triangledown C
{\displaystyle A\vartriangle B\triangledown C}
12aq
A \blacktriangle B \blacktriangledown B \blacktriangleleft B \blacktriangleright C
{\displaystyle A\blacktriangle B\blacktriangledown B\blacktriangleleft B\blacktriangleright C}
12ar
A \forall B \exists B \nexists C
{\displaystyle A\forall B\exists B\nexists C}
12as
A \therefore B \because B \And C
{\displaystyle A\therefore B\because B\And C}
12at
A \lor B \vee B \curlyvee B \bigvee C
{\displaystyle A\lor B\vee B\curlyvee B\bigvee C}
12au
A \land B \wedge B \curlywedge B \bigwedge C
{\displaystyle A\land B\wedge B\curlywedge B\bigwedge C}
12av
A \lnot B \neg B \not\operatorname{R} B \bot B \top C
{\displaystyle 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
{\displaystyle A\vdash B\dashv B\vDash B\Vdash B\models C}
12ax
A \Vvdash B \nvdash B \nVdash B \nvDash B \nVDash C
{\displaystyle A\Vvdash B\nvdash B\nVdash B\nvDash B\nVDash C}
12ay
A \ulcorner B \urcorner B \llcorner B \lrcorner C
{\displaystyle A\ulcorner B\urcorner B\llcorner B\lrcorner C}
12az
A \Rrightarrow B \Lleftarrow C
{\displaystyle A\Rrightarrow B\Lleftarrow C}
12ba
A \Rightarrow B \nRightarrow B \Longrightarrow B \implies C
{\displaystyle A\Rightarrow B\nRightarrow B\Longrightarrow B\implies C}
12bb
A \Leftarrow B \nLeftarrow B \Longleftarrow C
{\displaystyle A\Leftarrow B\nLeftarrow B\Longleftarrow C}
12bc
A \Leftrightarrow B \nLeftrightarrow B \Longleftrightarrow B \iff C
{\displaystyle A\Leftrightarrow B\nLeftrightarrow B\Longleftrightarrow B\iff C}
12bd
A \Uparrow B \Downarrow B \Updownarrow C
{\displaystyle A\Uparrow B\Downarrow B\Updownarrow C}
12be
A \rightarrow B \to B \nrightarrow B \longrightarrow C
{\displaystyle A\rightarrow B\to B\nrightarrow B\longrightarrow C}
12bf
A \leftarrow B \gets B \nleftarrow B \longleftarrow C
{\displaystyle A\leftarrow B\gets B\nleftarrow B\longleftarrow C}
12bg
A \leftrightarrow B \nleftrightarrow B \longleftrightarrow C
{\displaystyle A\leftrightarrow B\nleftrightarrow B\longleftrightarrow C}
12bh
A \uparrow B \downarrow B \updownarrow C
{\displaystyle A\uparrow B\downarrow B\updownarrow C}
12bi
A \nearrow B \swarrow B \nwarrow B \searrow C
{\displaystyle A\nearrow B\swarrow B\nwarrow B\searrow C}
12bj
A \mapsto B \longmapsto C
{\displaystyle A\mapsto B\longmapsto C}
12bk
A \rightharpoonup B \rightharpoondown B \leftharpoonup B \leftharpoondown B \upharpoonleft B \upharpoonright C \downharpoonleft C |- C
{\displaystyle A\rightharpoonup B\rightharpoondown B\leftharpoonup B\leftharpoondown B\upharpoonleft B\upharpoonright C\downharpoonleft C|-C}
12bl
A \downharpoonright B \rightleftharpoons B \leftrightharpoons C
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle 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
{\displaystyle A\intercal B\barwedge B\veebar B\doublebarwedge B\between B\pitchfork C}
12bv
A \vartriangleleft B \ntriangleleft B \vartriangleright B \ntriangleright C
{\displaystyle A\vartriangleleft B\ntriangleleft B\vartriangleright B\ntriangleright C}
12bw
A \trianglelefteq B \ntrianglelefteq B \trianglerighteq B \ntrianglerighteq C
{\displaystyle 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
{\displaystyle A\mid B\smile C\frown D\in E\ni F\vdash G\dashv H\models J\propto K}
Other binary relations