Line 62: |
Line 62: |
| |list9 = <math>\min(x,y), \max(x,y) \!</math> | | |list9 = <math>\min(x,y), \max(x,y) \!</math> |
| }} | | }} |
| + | {{Navbox |
| + | |name = Navbox/doc |
| + | |state = uncollapsed |
| + | |title = Bounds |
| | | |
− | === Bounds === | + | Group1 = <source lang="latex" enclose="none">\min x, \max y, \inf s, \sup t </source> |
− | |-
| + | List1 = <source lang="latex" enclose="none">\min x, \max y, \inf s, \sup t </source> |
− | | <source lang="latex" enclose="none">\min x, \max y, \inf s, \sup t </source>
| |
− | | <math>\min x, \max y, \inf s, \sup t \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\lim u, \liminf v, \limsup w </source>
| |
− | | <math>\lim u, \liminf v, \limsup w \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\dim p, \deg q, \det m, \ker\phi </source>
| |
− | | <math>\dim p, \deg q, \det m, \ker\phi \!</math>
| |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Projections === | + | Group2 = <source lang="latex" enclose="none">\lim u, \liminf v, \limsup w </source> |
− | |-
| + | List2 = <source lang="latex" enclose="none">\lim u, \liminf v, \limsup w </source> |
− | | <source lang="latex" enclose="none">\Pr j, \hom l, \lVert z \rVert, \arg z </source>
| |
− | | <math>\Pr j, \hom l, \lVert z \rVert, \arg z \!</math>
| |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Differentials and derivatives === | + | Group3 = <source lang="latex" enclose="none">\dim p, \deg q, \det m, \ker\phi </source> |
− | |-
| + | List3 = <source lang="latex" enclose="none">\dim p, \deg q, \det m, \ker\phi </source> |
− | | <source lang="latex" enclose="none">dt, \operatorname{d}\!t, \partial t, \nabla\psi</source>
| |
− | | <math>dt, \operatorname{d}\!t, \partial t, \nabla\psi\!</math>
| |
− | |-
| |
− | | <source lang="text" enclose="none">dy/dx, \operatorname{d}\!y/\operatorname{d}\!x, {dy \over dx}, {\operatorname{d}\!y\over\operatorname{d}\!x}, {\partial^2\over\partial x_1\partial x_2}y </source>
| |
− | | <math>dy/dx, \operatorname{d}\!y/\operatorname{d}\!x, {dy \over dx}, {\operatorname{d}\!y\over\operatorname{d}\!x}, {\partial^2\over\partial x_1\partial x_2}y \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\prime, \backprime, f^\prime, f', f'', f^{(3)}, \dot y, \ddot y </source>
| |
− | | <math>\prime, \backprime, f^\prime, f', f'', f^{(3)} \!, \dot y, \ddot y</math>
| |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Letter-like symbols or constants === | + | {{Navbox |
− | |- | + | |name = Navbox/doc |
− | | <source lang="latex" enclose="none">\infty, \aleph, \complement, \backepsilon, \eth, \Finv, \hbar </source>
| + | |state = uncollapsed |
− | | <math>\infty, \aleph, \complement, \backepsilon, \eth, \Finv, \hbar \!</math>
| + | |title = Projections |
− | |-
| + | Group1 = <source lang="latex" enclose="none">\Pr j, \hom l, \lVert z \rVert, \arg z </source> |
− | | <source lang="latex" enclose="none">\Im, \imath, \jmath, \Bbbk, \ell, \mho, \wp, \Re, \circledS </source>
| + | List1 = <source lang="latex" enclose="none">\Pr j, \hom l, \lVert z \rVert, \arg z </source> |
− | | <math>\Im, \imath, \jmath, \Bbbk, \ell, \mho, \wp, \Re, \circledS \!</math>
| + | }} |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Modular arithmetic ===
| + | {{Navbox |
− | |-
| + | |name = Navbox/doc |
− | | <source lang="latex" enclose="none">s_k \equiv 0 \pmod{m} </source>
| + | |state = uncollapsed |
− | | <math>s_k \equiv 0 \pmod{m} \!</math>
| + | |title = Differentials and derivatives |
− | |- | |
− | | <source lang="latex" enclose="none">a\,\bmod\,b </source>
| |
− | | <math>a\,\bmod\,b \!</math> | |
− | |-
| |
− | | <source lang="latex" enclose="none">\gcd(m, n), \operatorname{lcm}(m, n)</source>
| |
− | | <math>\gcd(m, n), \operatorname{lcm}(m, n)</math> | |
− | |-
| |
− | | <source lang="latex" enclose="none">\mid, \nmid, \shortmid, \nshortmid </source>
| |
− | | <math>\mid, \nmid, \shortmid, \nshortmid \!</math>
| |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Radicals === | + | Group1 = <source lang="latex" enclose="none">dt, \operatorname{d}\!t, \partial t, \nabla\psi</source> |
− | |-
| + | List1 = <source lang="latex" enclose="none">dt, \operatorname{d}\!t, \partial t, \nabla\psi</source> |
− | | <source lang="text" enclose="none">\surd, \sqrt{2}, \sqrt[n]{}, \sqrt[3]{x^3+y^3 \over 2} </source>
| |
− | | <math>\surd, \sqrt{2}, \sqrt[n]{}, \sqrt[3]{x^3+y^3 \over 2} \!</math>
| |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Operators === | + | Group2 = <source lang="text" enclose="none">dy/dx, \operatorname{d}\!y/\operatorname{d}\!x, {dy \over dx}, {\operatorname{d}\!y\over\operatorname{d}\!x}, {\partial^2\over\partial x_1\partial x_2}y </source> |
− | |-
| + | List2 = <source lang="text" enclose="none">dy/dx, \operatorname{d}\!y/\operatorname{d}\!x, {dy \over dx}, {\operatorname{d}\!y\over\operatorname{d}\!x}, {\partial^2\over\partial x_1\partial x_2}y </source> |
− | | <source lang="latex" enclose="none">+, -, \pm, \mp, \dotplus </source>
| |
− | | <math>+, -, \pm, \mp, \dotplus \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\times, \div, \divideontimes, /, \backslash </source>
| |
− | | <math>\times, \div, \divideontimes, /, \backslash \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\cdot, * \ast, \star, \circ, \bullet </source>
| |
− | | <math>\cdot, * \ast, \star, \circ, \bullet \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\boxplus, \boxminus, \boxtimes, \boxdot </source>
| |
− | | <math>\boxplus, \boxminus, \boxtimes, \boxdot \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\oplus, \ominus, \otimes, \oslash, \odot</source>
| |
− | | <math>\oplus, \ominus, \otimes, \oslash, \odot\!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\circleddash, \circledcirc, \circledast </source>
| |
− | | <math>\circleddash, \circledcirc, \circledast \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\bigoplus, \bigotimes, \bigodot </source>
| |
− | | <math>\bigoplus, \bigotimes, \bigodot \!</math>
| |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Sets === | + | Group3 = <source lang="latex" enclose="none">\prime, \backprime, f^\prime, f', f'', f^{(3)}, \dot y, \ddot y </source> |
− | |-
| + | List3 = <source lang="latex" enclose="none">\prime, \backprime, f^\prime, f', f'', f^{(3)}, \dot y, \ddot y </source> |
− | | <source lang="text" enclose="none">\{ \}, \O \empty \emptyset, \varnothing </source>
| + | }} |
− | | <math>\{ \}, \O \empty \emptyset, \varnothing \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\in, \notin \not\in, \ni, \not\ni </source>
| |
− | | <math>\in, \notin \not\in, \ni, \not\ni \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\cap, \Cap, \sqcap, \bigcap </source>
| |
− | | <math>\cap, \Cap, \sqcap, \bigcap \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\cup, \Cup, \sqcup, \bigcup, \bigsqcup, \uplus, \biguplus </source>
| |
− | | <math>\cup, \Cup, \sqcup, \bigcup, \bigsqcup, \uplus, \biguplus \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\setminus, \smallsetminus, \times </source>
| |
− | | <math>\setminus, \smallsetminus, \times \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\subset, \Subset, \sqsubset </source>
| |
− | | <math>\subset, \Subset, \sqsubset \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\supset, \Supset, \sqsupset </source>
| |
− | | <math>\supset, \Supset, \sqsupset \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\subseteq, \nsubseteq, \subsetneq, \varsubsetneq, \sqsubseteq </source>
| |
− | | <math>\subseteq, \nsubseteq, \subsetneq, \varsubsetneq, \sqsubseteq \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\supseteq, \nsupseteq, \supsetneq, \varsupsetneq, \sqsupseteq </source>
| |
− | | <math>\supseteq, \nsupseteq, \supsetneq, \varsupsetneq, \sqsupseteq \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\subseteqq, \nsubseteqq, \subsetneqq, \varsubsetneqq </source>
| |
− | | <math>\subseteqq, \nsubseteqq, \subsetneqq, \varsubsetneqq \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\supseteqq, \nsupseteqq, \supsetneqq, \varsupsetneqq </source>
| |
− | | <math>\supseteqq, \nsupseteqq, \supsetneqq, \varsupsetneqq \!</math>
| |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Relations ===
| + | {{Navbox |
− | |-
| + | |name = Navbox/doc |
− | | <source lang="latex" enclose="none">=, \ne, \neq, \equiv, \not\equiv </source>
| + | |state = uncollapsed |
− | | <math>=, \ne, \neq, \equiv, \not\equiv \!</math>
| + | |title = Letter-like symbols or constants |
− | |-
| |
− | | <source lang="latex" enclose="none">\doteq, \doteqdot,</source> <source lang="text" enclose="none">\overset{\underset{\mathrm{def}}{}}{=},</source> <source lang="latex" enclose="none">:=</source>
| |
− | | <math>\doteq, \doteqdot, \overset{\underset{\mathrm{def}}{}}{=}, := \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\sim, \nsim, \backsim, \thicksim, \simeq, \backsimeq, \eqsim, \cong, \ncong </source>
| |
− | | <math>\sim, \nsim, \backsim, \thicksim, \simeq, \backsimeq, \eqsim, \cong, \ncong \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\approx, \thickapprox, \approxeq, \asymp, \propto, \varpropto </source>
| |
− | | <math>\approx, \thickapprox, \approxeq, \asymp, \propto, \varpropto \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none"><, \nless, \ll, \not\ll, \lll, \not\lll, \lessdot </source>
| |
− | | <math><, \nless, \ll, \not\ll, \lll, \not\lll, \lessdot \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">>, \ngtr, \gg, \not\gg, \ggg, \not\ggg, \gtrdot </source>
| |
− | | <math>>, \ngtr, \gg, \not\gg, \ggg, \not\ggg, \gtrdot \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\le, \leq, \lneq, \leqq, \nleq, \nleqq, \lneqq, \lvertneqq </source>
| |
− | | <math>\le, \leq, \lneq, \leqq, \nleq, \nleqq, \lneqq, \lvertneqq \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\ge, \geq, \gneq, \geqq, \ngeq, \ngeqq, \gneqq, \gvertneqq </source>
| |
− | | <math>\ge, \geq, \gneq, \geqq, \ngeq, \ngeqq, \gneqq, \gvertneqq \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\lessgtr, \lesseqgtr, \lesseqqgtr, \gtrless, \gtreqless, \gtreqqless </source>
| |
− | | <math>\lessgtr, \lesseqgtr, \lesseqqgtr, \gtrless, \gtreqless, \gtreqqless \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\leqslant, \nleqslant, \eqslantless </source>
| |
− | | <math>\leqslant, \nleqslant, \eqslantless \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\geqslant, \ngeqslant, \eqslantgtr </source>
| |
− | | <math>\geqslant, \ngeqslant, \eqslantgtr \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\lesssim, \lnsim, \lessapprox, \lnapprox </source> | |
− | | <math>\lesssim, \lnsim, \lessapprox, \lnapprox \!</math> | |
− | |-
| |
− | | <source lang="latex" enclose="none">\gtrsim, \gnsim, \gtrapprox, \gnapprox </source>
| |
− | | <math>\gtrsim, \gnsim, \gtrapprox, \gnapprox \,</math> | |
− | |-
| |
− | | <source lang="latex" enclose="none">\prec, \nprec, \preceq, \npreceq, \precneqq </source>
| |
− | | <math>\prec, \nprec, \preceq, \npreceq, \precneqq \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\succ, \nsucc, \succeq, \nsucceq, \succneqq </source>
| |
− | | <math>\succ, \nsucc, \succeq, \nsucceq, \succneqq \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\preccurlyeq, \curlyeqprec </source>
| |
− | | <math>\preccurlyeq, \curlyeqprec \,</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\succcurlyeq, \curlyeqsucc </source>
| |
− | | <math>\succcurlyeq, \curlyeqsucc \,</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\precsim, \precnsim, \precapprox, \precnapprox </source>
| |
− | | <math>\precsim, \precnsim, \precapprox, \precnapprox \,</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\succsim, \succnsim, \succapprox, \succnapprox </source>
| |
− | | <math>\succsim, \succnsim, \succapprox, \succnapprox \,</math>
| |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Geometric === | + | Group1 = <source lang="latex" enclose="none">\infty, \aleph, \complement, \backepsilon, \eth, \Finv, \hbar </source> |
− | |-
| + | List1 = <source lang="latex" enclose="none">\infty, \aleph, \complement, \backepsilon, \eth, \Finv, \hbar </source> |
− | | <source lang="latex" enclose="none">\parallel, \nparallel, \shortparallel, \nshortparallel </source>
| |
− | | <math>\parallel, \nparallel, \shortparallel, \nshortparallel \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\perp, \angle, \sphericalangle, \measuredangle, 45^\circ </source>
| |
− | | <math>\perp, \angle, \sphericalangle, \measuredangle, 45^\circ \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\Box, \blacksquare, \diamond, \Diamond \lozenge, \blacklozenge, \bigstar </source>
| |
− | | <math>\Box, \blacksquare, \diamond, \Diamond \lozenge, \blacklozenge, \bigstar \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\bigcirc, \triangle \bigtriangleup, \bigtriangledown </source>
| |
− | | <math>\bigcirc, \triangle \bigtriangleup, \bigtriangledown \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\vartriangle, \triangledown </source>
| |
− | | <math>\vartriangle, \triangledown\!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\blacktriangle, \blacktriangledown, \blacktriangleleft, \blacktriangleright </source>
| |
− | | <math>\blacktriangle, \blacktriangledown, \blacktriangleleft, \blacktriangleright \!</math>
| |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Logic === | + | Group2 = <source lang="latex" enclose="none">\Im, \imath, \jmath, \Bbbk, \ell, \mho, \wp, \Re, \circledS </source> |
− | |- | + | List2 = <source lang="latex" enclose="none">\Im, \imath, \jmath, \Bbbk, \ell, \mho, \wp, \Re, \circledS </source> |
− | | <source lang="latex" enclose="none">\forall, \exists, \nexists </source> | + | }} |
− | | <math>\forall, \exists, \nexists \!</math>
| + | |
− | |-
| + | {{Navbox |
− | | <source lang="latex" enclose="none">\therefore, \because, \And </source>
| + | |name = Navbox/doc |
− | | <math>\therefore, \because, \And \!</math>
| + | |state = uncollapsed |
− | |-
| + | |title = Modular arithmetic |
− | | <source lang="latex" enclose="none">\or \lor \vee, \curlyvee, \bigvee </source>
| + | |
− | | <math>\or \lor \vee, \curlyvee, \bigvee \!</math>
| + | Group1 = <source lang="latex" enclose="none">s_k \equiv 0 \pmod{m} </source> |
− | |-
| + | List1 = <source lang="latex" enclose="none">s_k \equiv 0 \pmod{m} </source> |
− | | <source lang="latex" enclose="none">\and \land \wedge, \curlywedge, \bigwedge </source>
| + | |
− | | <math>\and \land \wedge, \curlywedge, \bigwedge \!</math>
| + | Group2 = <source lang="latex" enclose="none">a\,\bmod\,b </source> |
− | |-
| + | List2 = <source lang="latex" enclose="none">a\,\bmod\,b </source> |
− | | <source lang="text" enclose="none">\bar{q}, \bar{abc}, \overline{q}, \overline{abc}, </source><br />
| + | |
| + | Group3 = <source lang="latex" enclose="none">\gcd(m, n), \operatorname{lcm}(m, n)</source> |
| + | List3 = <source lang="latex" enclose="none">\gcd(m, n), \operatorname{lcm}(m, n)</source> |
| + | |
| + | Group4 = <source lang="latex" enclose="none">\mid, \nmid, \shortmid, \nshortmid </source> |
| + | List4 = <source lang="latex" enclose="none">\mid, \nmid, \shortmid, \nshortmid </source> |
| + | }} |
| + | |
| + | {{Navbox |
| + | |name = Navbox/doc |
| + | |state = uncollapsed |
| + | |title = Radicals |
| + | |
| + | Group1 = <source lang="text" enclose="none">\surd, \sqrt{2}, \sqrt[n]{}, \sqrt[3]{x^3+y^3 \over 2} </source> |
| + | List1 = <source lang="text" enclose="none">\surd, \sqrt{2}, \sqrt[n]{}, \sqrt[3]{x^3+y^3 \over 2} </source> |
| + | }} |
| + | |
| + | {{Navbox |
| + | |name = Navbox/doc |
| + | |state = uncollapsed |
| + | |title = Operators |
| + | |
| + | Group1 = <source lang="latex" enclose="none">+, -, \pm, \mp, \dotplus </source> |
| + | List1 = <source lang="latex" enclose="none">+, -, \pm, \mp, \dotplus </source> |
| + | |
| + | Group2 = <source lang="latex" enclose="none">\times, \div, \divideontimes, /, \backslash </source> |
| + | List2 = <source lang="latex" enclose="none">\times, \div, \divideontimes, /, \backslash </source> |
| + | |
| + | Group3 = <source lang="latex" enclose="none">\cdot, * \ast, \star, \circ, \bullet </source> |
| + | List3 = <source lang="latex" enclose="none">\cdot, * \ast, \star, \circ, \bullet </source> |
| + | |
| + | Group4 = <source lang="latex" enclose="none">\boxplus, \boxminus, \boxtimes, \boxdot </source> |
| + | List4 = <source lang="latex" enclose="none">\boxplus, \boxminus, \boxtimes, \boxdot </source> |
| + | |
| + | Group5 = <source lang="latex" enclose="none">\oplus, \ominus, \otimes, \oslash, \odot</source> |
| + | List5 = <source lang="latex" enclose="none">\oplus, \ominus, \otimes, \oslash, \odot</source> |
| + | |
| + | Group6 = <source lang="latex" enclose="none">\circleddash, \circledcirc, \circledast </source> |
| + | List6 = <source lang="latex" enclose="none">\circleddash, \circledcirc, \circledast </source> |
| + | |
| + | Group7 = <source lang="latex" enclose="none">\bigoplus, \bigotimes, \bigodot </source> |
| + | List7 = <source lang="latex" enclose="none">\bigoplus, \bigotimes, \bigodot </source> |
| + | }} |
| + | |
| + | {{Navbox |
| + | |name = Navbox/doc |
| + | |state = uncollapsed |
| + | |title = Sets |
| + | |
| + | Group1 = <source lang="text" enclose="none">\{ \}, \O \empty \emptyset, \varnothing </source> |
| + | List1 = <source lang="text" enclose="none">\{ \}, \O \empty \emptyset, \varnothing </source> |
| + | |
| + | Group2 = <source lang="latex" enclose="none">\in, \notin \not\in, \ni, \not\ni </source> |
| + | List2 = <source lang="latex" enclose="none">\in, \notin \not\in, \ni, \not\ni </source> |
| + | |
| + | Group3 = <source lang="latex" enclose="none">\cap, \Cap, \sqcap, \bigcap </source> |
| + | List3 = <source lang="latex" enclose="none">\cap, \Cap, \sqcap, \bigcap </source> |
| + | |
| + | Group4 = <source lang="latex" enclose="none">\cup, \Cup, \sqcup, \bigcup, \bigsqcup, \uplus, \biguplus </source> |
| + | List4 = <source lang="latex" enclose="none">\cup, \Cup, \sqcup, \bigcup, \bigsqcup, \uplus, \biguplus </source> |
| + | |
| + | Group5 = <source lang="latex" enclose="none">\setminus, \smallsetminus, \times </source> |
| + | List5 = <source lang="latex" enclose="none">\setminus, \smallsetminus, \times </source> |
| + | |
| + | Group6 = <source lang="latex" enclose="none">\subset, \Subset, \sqsubset </source> |
| + | List6 = <source lang="latex" enclose="none">\subset, \Subset, \sqsubset </source> |
| + | |
| + | Group7 = <source lang="latex" enclose="none">\supset, \Supset, \sqsupset </source> |
| + | List7 = <source lang="latex" enclose="none">\supset, \Supset, \sqsupset </source> |
| + | |
| + | Group8 = <source lang="latex" enclose="none">\subseteq, \nsubseteq, \subsetneq, \varsubsetneq, \sqsubseteq </source> |
| + | List8 = <source lang="latex" enclose="none">\subseteq, \nsubseteq, \subsetneq, \varsubsetneq, \sqsubseteq </source> |
| + | |
| + | Group9 = <source lang="latex" enclose="none">\supseteq, \nsupseteq, \supsetneq, \varsupsetneq, \sqsupseteq </source> |
| + | List9 = <source lang="latex" enclose="none">\supseteq, \nsupseteq, \supsetneq, \varsupsetneq, \sqsupseteq </source> |
| + | |
| + | Group10 = <source lang="latex" enclose="none">\subseteqq, \nsubseteqq, \subsetneqq, \varsubsetneqq </source> |
| + | List10 = <source lang="latex" enclose="none">\subseteqq, \nsubseteqq, \subsetneqq, \varsubsetneqq </source> |
| + | |
| + | Group11 = <source lang="latex" enclose="none">\supseteqq, \nsupseteqq, \supsetneqq, \varsupsetneqq </source> |
| + | List11 = <source lang="latex" enclose="none">\supseteqq, \nsupseteqq, \supsetneqq, \varsupsetneqq </source> |
| + | }} |
| + | |
| + | {{Navbox |
| + | |name = Navbox/doc |
| + | |state = uncollapsed |
| + | |title = Relations |
| + | |
| + | Group1 = <source lang="latex" enclose="none">=, \ne, \neq, \equiv, \not\equiv </source> |
| + | List1 = <source lang="latex" enclose="none">=, \ne, \neq, \equiv, \not\equiv </source> |
| + | |
| + | Group2 = <source lang="latex" enclose="none">\doteq, \doteqdot,</source> <source lang="text" enclose="none">\overset{\underset{\mathrm{def}}{}}{=},</source> <source lang="latex" enclose="none">:=</source> |
| + | List2 = <source lang="latex" enclose="none">\doteq, \doteqdot,</source> <source lang="text" enclose="none">\overset{\underset{\mathrm{def}}{}}{=},</source> <source lang="latex" enclose="none">:=</source> |
| + | |
| + | Group3 = <source lang="latex" enclose="none">\sim, \nsim, \backsim, \thicksim, \simeq, \backsimeq, \eqsim, \cong, \ncong </source> |
| + | List3 = <source lang="latex" enclose="none">\sim, \nsim, \backsim, \thicksim, \simeq, \backsimeq, \eqsim, \cong, \ncong </source> |
| + | |
| + | Group4 = <source lang="latex" enclose="none">\approx, \thickapprox, \approxeq, \asymp, \propto, \varpropto </source> |
| + | List4 = <source lang="latex" enclose="none">\approx, \thickapprox, \approxeq, \asymp, \propto, \varpropto </source> |
| + | |
| + | Group5 = <source lang="latex" enclose="none"><, \nless, \ll, \not\ll, \lll, \not\lll, \lessdot </source> |
| + | List5 = <source lang="latex" enclose="none"><, \nless, \ll, \not\ll, \lll, \not\lll, \lessdot </source> |
| + | |
| + | Group6 = <source lang="latex" enclose="none">>, \ngtr, \gg, \not\gg, \ggg, \not\ggg, \gtrdot </source> |
| + | List6 = <source lang="latex" enclose="none">>, \ngtr, \gg, \not\gg, \ggg, \not\ggg, \gtrdot </source> |
| + | |
| + | Group7 = <source lang="latex" enclose="none">\le, \leq, \lneq, \leqq, \nleq, \nleqq, \lneqq, \lvertneqq </source> |
| + | List7 = <source lang="latex" enclose="none">\le, \leq, \lneq, \leqq, \nleq, \nleqq, \lneqq, \lvertneqq </source> |
| + | |
| + | Group8 = <source lang="latex" enclose="none">\ge, \geq, \gneq, \geqq, \ngeq, \ngeqq, \gneqq, \gvertneqq </source> |
| + | List8 = <source lang="latex" enclose="none">\ge, \geq, \gneq, \geqq, \ngeq, \ngeqq, \gneqq, \gvertneqq </source> |
| + | |
| + | Group9 = <source lang="latex" enclose="none">\lessgtr, \lesseqgtr, \lesseqqgtr, \gtrless, \gtreqless, \gtreqqless </source> |
| + | List9 = <source lang="latex" enclose="none">\lessgtr, \lesseqgtr, \lesseqqgtr, \gtrless, \gtreqless, \gtreqqless </source> |
| + | |
| + | Group10 = <source lang="latex" enclose="none">\leqslant, \nleqslant, \eqslantless </source> |
| + | List10 = <source lang="latex" enclose="none">\leqslant, \nleqslant, \eqslantless </source> |
| + | |
| + | Group11 = <source lang="latex" enclose="none">\geqslant, \ngeqslant, \eqslantgtr </source> |
| + | List11 = <source lang="latex" enclose="none">\geqslant, \ngeqslant, \eqslantgtr </source> |
| + | |
| + | Group12 = <source lang="latex" enclose="none">\lesssim, \lnsim, \lessapprox, \lnapprox </source> |
| + | List12 = <source lang="latex" enclose="none">\lesssim, \lnsim, \lessapprox, \lnapprox </source> |
| + | |
| + | Group13 = <source lang="latex" enclose="none">\gtrsim, \gnsim, \gtrapprox, \gnapprox </source> |
| + | List13 = <source lang="latex" enclose="none">\gtrsim, \gnsim, \gtrapprox, \gnapprox </source> |
| + | |
| + | Group14 = <source lang="latex" enclose="none">\prec, \nprec, \preceq, \npreceq, \precneqq </source> |
| + | List14 = <source lang="latex" enclose="none">\prec, \nprec, \preceq, \npreceq, \precneqq </source> |
| + | |
| + | Group15 = <source lang="latex" enclose="none">\succ, \nsucc, \succeq, \nsucceq, \succneqq </source> |
| + | List15 = <source lang="latex" enclose="none">\succ, \nsucc, \succeq, \nsucceq, \succneqq </source> |
| + | |
| + | Group16 = <source lang="latex" enclose="none">\preccurlyeq, \curlyeqprec </source> |
| + | List16 = <source lang="latex" enclose="none">\preccurlyeq, \curlyeqprec </source> |
| + | |
| + | Group17 = <source lang="latex" enclose="none">\succcurlyeq, \curlyeqsucc </source> |
| + | List17 = <source lang="latex" enclose="none">\succcurlyeq, \curlyeqsucc </source> |
| + | |
| + | Group18 = <source lang="latex" enclose="none">\precsim, \precnsim, \precapprox, \precnapprox </source> |
| + | List18 = <source lang="latex" enclose="none">\precsim, \precnsim, \precapprox, \precnapprox </source> |
| + | |
| + | Group19 = <source lang="latex" enclose="none">\succsim, \succnsim, \succapprox, \succnapprox </source> |
| + | List19 = <source lang="latex" enclose="none">\succsim, \succnsim, \succapprox, \succnapprox </source> |
| + | }} |
| + | |
| + | {{Navbox |
| + | |name = Navbox/doc |
| + | |state = uncollapsed |
| + | |title = Geometric |
| + | |
| + | Group1 = <source lang="latex" enclose="none">\parallel, \nparallel, \shortparallel, \nshortparallel </source> |
| + | List1 = <source lang="latex" enclose="none">\parallel, \nparallel, \shortparallel, \nshortparallel </source> |
| + | |
| + | Group2 = <source lang="latex" enclose="none">\perp, \angle, \sphericalangle, \measuredangle, 45^\circ </source> |
| + | List2 = <source lang="latex" enclose="none">\perp, \angle, \sphericalangle, \measuredangle, 45^\circ </source> |
| + | |
| + | Group3 = <source lang="latex" enclose="none">\Box, \blacksquare, \diamond, \Diamond \lozenge, \blacklozenge, \bigstar </source> |
| + | List3 = <source lang="latex" enclose="none">\Box, \blacksquare, \diamond, \Diamond \lozenge, \blacklozenge, \bigstar </source> |
| + | |
| + | Group4 = <source lang="latex" enclose="none">\bigcirc, \triangle \bigtriangleup, \bigtriangledown </source> |
| + | List4 = <source lang="latex" enclose="none">\bigcirc, \triangle \bigtriangleup, \bigtriangledown </source> |
| + | |
| + | Group5 = <source lang="latex" enclose="none">\vartriangle, \triangledown </source> |
| + | List5 = <source lang="latex" enclose="none">\vartriangle, \triangledown </source> |
| + | |
| + | Group6 = <source lang="latex" enclose="none">\blacktriangle, \blacktriangledown, \blacktriangleleft, \blacktriangleright </source> |
| + | List6 = <source lang="latex" enclose="none">\blacktriangle, \blacktriangledown, \blacktriangleleft, \blacktriangleright </source> |
| + | }} |
| + | |
| + | {{Navbox |
| + | |name = Navbox/doc |
| + | |state = uncollapsed |
| + | |title = Logic |
| + | |
| + | Group1 = <source lang="latex" enclose="none">\forall, \exists, \nexists </source> |
| + | List1 = <source lang="latex" enclose="none">\forall, \exists, \nexists </source> |
| + | |
| + | Group2 = <source lang="latex" enclose="none">\therefore, \because, \And </source> |
| + | List2 = <source lang="latex" enclose="none">\therefore, \because, \And </source> |
| + | |
| + | Group3 = <source lang="latex" enclose="none">\or \lor \vee, \curlyvee, \bigvee </source> |
| + | List3 = <source lang="latex" enclose="none">\or \lor \vee, \curlyvee, \bigvee </source> |
| + | |
| + | Group4 = <source lang="latex" enclose="none">\and \land \wedge, \curlywedge, \bigwedge </source> |
| + | List4 = <source lang="latex" enclose="none">\and \land \wedge, \curlywedge, \bigwedge </source> |
| + | |
| + | Group5 = <source lang="text" enclose="none">\bar{q}, \bar{abc}, \overline{q}, \overline{abc}, </source><br /> |
| <source lang="latex" enclose="none">\lnot \neg, \not\operatorname{R}, \bot, \top</source> | | <source lang="latex" enclose="none">\lnot \neg, \not\operatorname{R}, \bot, \top</source> |
− | | <math>\bar{q}, \bar{abc}, \overline{q}, \overline{abc}, \!</math><br />
| + | List5 = <source lang="text" enclose="none">\bar{q}, \bar{abc}, \overline{q}, \overline{abc}, </source><br /> |
| <math>\lnot \neg, \not\operatorname{R}, \bot, \top \!</math> | | <math>\lnot \neg, \not\operatorname{R}, \bot, \top \!</math> |
− | |-
| |
− | | <source lang="latex" enclose="none">\vdash \dashv, \vDash, \Vdash, \models </source>
| |
− | | <math>\vdash \dashv, \vDash, \Vdash, \models \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\Vvdash \nvdash \nVdash \nvDash \nVDash </source>
| |
− | | <math>\Vvdash \nvdash \nVdash \nvDash \nVDash \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\ulcorner \urcorner \llcorner \lrcorner </source>
| |
− | | <math>\ulcorner \urcorner \llcorner \lrcorner \,</math>
| |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Arrows === | + | Group6 = <source lang="latex" enclose="none">\vdash \dashv, \vDash, \Vdash, \models </source> |
− | |- | + | List6 = <source lang="latex" enclose="none">\vdash \dashv, \vDash, \Vdash, \models </source> |
− | | <source lang="latex" enclose="none">\Rrightarrow, \Lleftarrow </source> | + | |
− | | <math>\Rrightarrow, \Lleftarrow \!</math>
| + | Group7 = <source lang="latex" enclose="none">\Vvdash \nvdash \nVdash \nvDash \nVDash </source> |
− | |-
| + | List7 = <source lang="latex" enclose="none">\Vvdash \nvdash \nVdash \nvDash \nVDash </source> |
− | | <source lang="latex" enclose="none">\Rightarrow, \nRightarrow, \Longrightarrow \implies </source>
| + | |
− | | <math>\Rightarrow, \nRightarrow, \Longrightarrow \implies\!</math>
| + | Group8 = <source lang="latex" enclose="none">\ulcorner \urcorner \llcorner \lrcorner </source> |
− | |-
| + | List8 = <source lang="latex" enclose="none">\ulcorner \urcorner \llcorner \lrcorner </source> |
− | | <source lang="latex" enclose="none">\Leftarrow, \nLeftarrow, \Longleftarrow </source>
| + | }} |
− | | <math>\Leftarrow, \nLeftarrow, \Longleftarrow \!</math>
| + | |
− | |-
| + | {{Navbox |
− | | <source lang="latex" enclose="none">\Leftrightarrow, \nLeftrightarrow, \Longleftrightarrow \iff </source>
| + | |name = Navbox/doc |
− | | <math>\Leftrightarrow, \nLeftrightarrow, \Longleftrightarrow \iff \!</math>
| + | |state = uncollapsed |
− | |-
| + | |title = Arrows |
− | | <source lang="latex" enclose="none">\Uparrow, \Downarrow, \Updownarrow </source>
| + | |
− | | <math>\Uparrow, \Downarrow, \Updownarrow \!</math>
| + | Group1 = <source lang="latex" enclose="none">\Rrightarrow, \Lleftarrow </source> |
− | |-
| + | List1 = <source lang="latex" enclose="none">\Rrightarrow, \Lleftarrow </source> |
− | | <source lang="latex" enclose="none">\rightarrow \to, \nrightarrow, \longrightarrow </source>
| + | |
− | | <math>\rightarrow \to, \nrightarrow, \longrightarrow\!</math>
| + | Group2 = <source lang="latex" enclose="none">\Rightarrow, \nRightarrow, \Longrightarrow \implies </source> |
− | |-
| + | List2 = <source lang="latex" enclose="none">\Rightarrow, \nRightarrow, \Longrightarrow \implies </source> |
− | | <source lang="latex" enclose="none">\leftarrow \gets, \nleftarrow, \longleftarrow </source>
| + | |
− | | <math>\leftarrow \gets, \nleftarrow, \longleftarrow\!</math>
| + | Group3 = <source lang="latex" enclose="none">\Leftarrow, \nLeftarrow, \Longleftarrow </source> |
− | |-
| + | List3 = <source lang="latex" enclose="none">\Leftarrow, \nLeftarrow, \Longleftarrow </source> |
− | | <source lang="latex" enclose="none">\leftrightarrow, \nleftrightarrow, \longleftrightarrow </source>
| + | |
− | | <math>\leftrightarrow, \nleftrightarrow, \longleftrightarrow \!</math>
| + | Group4 = <source lang="latex" enclose="none">\Leftrightarrow, \nLeftrightarrow, \Longleftrightarrow \iff </source> |
− | |-
| + | List4 = <source lang="latex" enclose="none">\Leftrightarrow, \nLeftrightarrow, \Longleftrightarrow \iff </source> |
− | | <source lang="latex" enclose="none">\uparrow, \downarrow, \updownarrow </source>
| + | |
− | | <math>\uparrow, \downarrow, \updownarrow \!</math>
| + | Group5 = <source lang="latex" enclose="none">\Uparrow, \Downarrow, \Updownarrow </source> |
− | |-
| + | List5 = <source lang="latex" enclose="none">\Uparrow, \Downarrow, \Updownarrow </source> |
− | | <source lang="latex" enclose="none">\nearrow, \swarrow, \nwarrow, \searrow </source>
| + | |
− | | <math>\nearrow, \swarrow, \nwarrow, \searrow \!</math>
| + | Group6 = <source lang="latex" enclose="none">\rightarrow \to, \nrightarrow, \longrightarrow </source> |
− | |-
| + | List6 = <source lang="latex" enclose="none">\rightarrow \to, \nrightarrow, \longrightarrow </source> |
− | | <source lang="latex" enclose="none">\mapsto, \longmapsto </source>
| + | |
− | | <math>\mapsto, \longmapsto \!</math>
| + | Group7 = <source lang="latex" enclose="none">\leftarrow \gets, \nleftarrow, \longleftarrow </source> |
− | |-
| + | List7 = <source lang="latex" enclose="none">\leftarrow \gets, \nleftarrow, \longleftarrow </source> |
− | | <source lang="latex" enclose="none">\rightharpoonup \rightharpoondown \leftharpoonup \leftharpoondown \upharpoonleft \upharpoonright \downharpoonleft \downharpoonright \rightleftharpoons \leftrightharpoons</source>
| + | |
− | | <math>\rightharpoonup \rightharpoondown \leftharpoonup \leftharpoondown \upharpoonleft \upharpoonright \downharpoonleft \downharpoonright \rightleftharpoons \leftrightharpoons \,\!</math>
| + | Group8 = <source lang="latex" enclose="none">\leftrightarrow, \nleftrightarrow, \longleftrightarrow </source> |
− | |-
| + | List8 = <source lang="latex" enclose="none">\leftrightarrow, \nleftrightarrow, \longleftrightarrow </source> |
− | | <source lang="latex" enclose="none">\curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \rightarrowtail \looparrowright</source>
| + | |
− | | <math>\curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \rightarrowtail \looparrowright \,\!</math>
| + | Group9 = <source lang="latex" enclose="none">\uparrow, \downarrow, \updownarrow </source> |
− | |-
| + | List9 = <source lang="latex" enclose="none">\uparrow, \downarrow, \updownarrow </source> |
− | | <source lang="latex" enclose="none">\curvearrowright \circlearrowright \Rsh \downdownarrows \leftleftarrows \leftrightarrows \leftarrowtail \looparrowleft</source>
| + | |
− | | <math>\curvearrowright \circlearrowright \Rsh \downdownarrows \leftleftarrows \leftrightarrows \leftarrowtail \looparrowleft \,\!</math>
| + | Group10 = <source lang="latex" enclose="none">\nearrow, \swarrow, \nwarrow, \searrow </source> |
− | |-
| + | List10 = <source lang="latex" enclose="none">\nearrow, \swarrow, \nwarrow, \searrow </source> |
− | | <source lang="latex" enclose="none">\hookrightarrow \hookleftarrow \multimap \leftrightsquigarrow \rightsquigarrow \twoheadrightarrow \twoheadleftarrow </source>
| + | |
− | | <math>\hookrightarrow \hookleftarrow \multimap \leftrightsquigarrow \rightsquigarrow \twoheadrightarrow \twoheadleftarrow \!</math>
| + | Group11 = <source lang="latex" enclose="none">\mapsto, \longmapsto </source> |
− | |- | + | List11 = <source lang="latex" enclose="none">\mapsto, \longmapsto </source> |
− | !colspan="2"|
| + | |
| + | Group12 = <source lang="latex" enclose="none">\rightharpoonup \rightharpoondown \leftharpoonup \leftharpoondown \upharpoonleft \upharpoonright \downharpoonleft \downharpoonright \rightleftharpoons \leftrightharpoons</source> |
| + | List12 = <source lang="latex" enclose="none">\rightharpoonup \rightharpoondown \leftharpoonup \leftharpoondown \upharpoonleft \upharpoonright \downharpoonleft \downharpoonright \rightleftharpoons \leftrightharpoons</source> |
| + | |
| + | Group13 = <source lang="latex" enclose="none">\curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \rightarrowtail \looparrowright</source> |
| + | List13 = <source lang="latex" enclose="none">\curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \rightarrowtail \looparrowright</source> |
| + | |
| + | Group14 = <source lang="latex" enclose="none">\curvearrowright \circlearrowright \Rsh \downdownarrows \leftleftarrows \leftrightarrows \leftarrowtail \looparrowleft</source> |
| + | List14 = <source lang="latex" enclose="none">\curvearrowright \circlearrowright \Rsh \downdownarrows \leftleftarrows \leftrightarrows \leftarrowtail \looparrowleft</source> |
| + | |
| + | Group15 = <source lang="latex" enclose="none">\hookrightarrow \hookleftarrow \multimap \leftrightsquigarrow \rightsquigarrow \twoheadrightarrow \twoheadleftarrow </source> |
| + | List15 = <source lang="latex" enclose="none">\hookrightarrow \hookleftarrow \multimap \leftrightsquigarrow \rightsquigarrow \twoheadrightarrow \twoheadleftarrow </source> |
| + | }} |
| + | |
| + | {{Navbox |
| + | |name = Navbox/doc |
| + | |state = uncollapsed |
| + | |title = Special |
| + | |
| + | Group1 = <source lang="latex" enclose="none">\amalg \P \S \% \dagger \ddagger \ldots \cdots </source> |
| + | List1 = <source lang="latex" enclose="none">\amalg \P \S \% \dagger \ddagger \ldots \cdots </source> |
| + | |
| + | Group2 = <source lang="latex" enclose="none">\smile \frown \wr \triangleleft \triangleright</source> |
| + | List2 = <source lang="latex" enclose="none">\smile \frown \wr \triangleleft \triangleright</source> |
| + | |
| + | Group3 = <source lang="latex" enclose="none">\diamondsuit, \heartsuit, \clubsuit, \spadesuit, \Game, \flat, \natural, \sharp </source> |
| + | List3 = <source lang="latex" enclose="none">\diamondsuit, \heartsuit, \clubsuit, \spadesuit, \Game, \flat, \natural, \sharp </source> |
| + | }} |
| + | |
| + | {{Navbox |
| + | |name = Navbox/doc |
| + | |state = uncollapsed |
| + | |title = Unsorted (new stuff) |
| + | |
| + | Group1 = <source lang="latex" enclose="none">\diagup \diagdown \centerdot \ltimes \rtimes \leftthreetimes \rightthreetimes </source> |
| + | List1 = <source lang="latex" enclose="none">\diagup \diagdown \centerdot \ltimes \rtimes \leftthreetimes \rightthreetimes </source> |
| + | |
| + | Group2 = <source lang="latex" enclose="none">\eqcirc \circeq \triangleq \bumpeq \Bumpeq \doteqdot \risingdotseq \fallingdotseq </source> |
| + | List2 = <source lang="latex" enclose="none">\eqcirc \circeq \triangleq \bumpeq \Bumpeq \doteqdot \risingdotseq \fallingdotseq </source> |
| | | |
− | === Special === | + | Group3 = <source lang="latex" enclose="none">\intercal \barwedge \veebar \doublebarwedge \between \pitchfork </source> |
− | |-
| + | List3 = <source lang="latex" enclose="none">\intercal \barwedge \veebar \doublebarwedge \between \pitchfork </source> |
− | | <source lang="latex" enclose="none">\amalg \P \S \% \dagger \ddagger \ldots \cdots </source>
| |
− | | <math>\amalg \P \S \% \dagger \ddagger \ldots \cdots \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\smile \frown \wr \triangleleft \triangleright</source>
| |
− | | <math>\smile \frown \wr \triangleleft \triangleright\!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\diamondsuit, \heartsuit, \clubsuit, \spadesuit, \Game, \flat, \natural, \sharp </source>
| |
− | | <math>\diamondsuit, \heartsuit, \clubsuit, \spadesuit, \Game, \flat, \natural, \sharp \!</math>
| |
− | |-
| |
− | !colspan="2"|
| |
| | | |
− | === Unsorted (new stuff) === | + | Group4 = <source lang="latex" enclose="none">\vartriangleleft \ntriangleleft \vartriangleright \ntriangleright </source> |
− | |-
| + | List4 = <source lang="latex" enclose="none">\vartriangleleft \ntriangleleft \vartriangleright \ntriangleright </source> |
− | | <source lang="latex" enclose="none">\diagup \diagdown \centerdot \ltimes \rtimes \leftthreetimes \rightthreetimes </source>
| |
− | | <math>\diagup \diagdown \centerdot \ltimes \rtimes \leftthreetimes \rightthreetimes \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\eqcirc \circeq \triangleq \bumpeq \Bumpeq \doteqdot \risingdotseq \fallingdotseq </source>
| |
− | | <math>\eqcirc \circeq \triangleq \bumpeq \Bumpeq \doteqdot \risingdotseq \fallingdotseq \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\intercal \barwedge \veebar \doublebarwedge \between \pitchfork </source>
| |
− | | <math>\intercal \barwedge \veebar \doublebarwedge \between \pitchfork \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\vartriangleleft \ntriangleleft \vartriangleright \ntriangleright </source>
| |
− | | <math>\vartriangleleft \ntriangleleft \vartriangleright \ntriangleright \!</math>
| |
− | |-
| |
− | | <source lang="latex" enclose="none">\trianglelefteq \ntrianglelefteq \trianglerighteq \ntrianglerighteq </source>
| |
− | | <math>\trianglelefteq \ntrianglelefteq \trianglerighteq \ntrianglerighteq \!</math>
| |
− | |}
| |
| | | |
− | For a little more semantics on these symbols, see the brief [http://www.math.upenn.edu/tex-stuff/cookbook.pdf TeX Cookbook].
| + | Group5 = <source lang="latex" enclose="none">\trianglelefteq \ntrianglelefteq \trianglerighteq \ntrianglerighteq </source> |
| + | List5 = <source lang="latex" enclose="none">\trianglelefteq \ntrianglelefteq \trianglerighteq \ntrianglerighteq </source> |
| + | }} |
| | | |
| == Larger expressions == | | == Larger expressions == |