Changes

4,492 bytes added ,  00:22, 29 October 2020
m
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 ==
4,000

edits