Line 26: |
Line 26: |
| | | |
| == Functions, symbols, special characters == | | == Functions, symbols, special characters == |
− |
| |
− |
| |
| {{Navbox | | {{Navbox |
| |name = Navbox/doc | | |name = Navbox/doc |
Line 66: |
Line 64: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Bounds | | |title = Bounds |
− | |Group1 = <source lang="latex" enclose="none">\min x, \max y, \inf s, \sup t </source> | + | |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> | + | |list1 = <source lang="latex" enclose="none">\min x, \max y, \inf s, \sup t </source> |
− | |Group2 = <source lang="latex" enclose="none">\lim u, \liminf v, \limsup w </source> | + | |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> | + | |list2 = <source lang="latex" enclose="none">\lim u, \liminf v, \limsup w </source> |
− | |Group3 = <source lang="latex" enclose="none">\dim p, \deg q, \det m, \ker\phi </source> | + | |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> | + | |list3 = <source lang="latex" enclose="none">\dim p, \deg q, \det m, \ker\phi </source> |
| }} | | }} |
| {{Navbox | | {{Navbox |
| |name = Navbox/doc | | |name = Navbox/doc |
| |state = uncollapsed | | |state = uncollapsed |
− | |title = Projections | + | |title = Projections |
− | |Group1 = <source lang="latex" enclose="none">\Pr j, \hom l, \lVert z \rVert, \arg z </source> | + | |group1 = <source lang="latex" enclose="none">\Pr j, \hom l, \lVert z \rVert, \arg z </source> |
− | |List1 = <source lang="latex" enclose="none">\Pr j, \hom l, \lVert z \rVert, \arg z </source> | + | |list1 = <source lang="latex" enclose="none">\Pr j, \hom l, \lVert z \rVert, \arg z </source> |
| }} | | }} |
| {{Navbox | | {{Navbox |
Line 84: |
Line 82: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Differentials and derivatives | | |title = Differentials and derivatives |
− | |Group1 = <source lang="latex" enclose="none">dt, \operatorname{d}\!t, \partial t, \nabla\psi</source> | + | |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> | + | |list1 = <source lang="latex" enclose="none">dt, \operatorname{d}\!t, \partial t, \nabla\psi</source> |
− | |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> | + | |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> | + | |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> |
− | |Group3 = <source lang="latex" enclose="none">\prime, \backprime, f^\prime, f', f'', f^{(3)}, \dot y, \ddot y </source> | + | |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> | + | |list3 = <source lang="latex" enclose="none">\prime, \backprime, f^\prime, f', f'', f^{(3)}, \dot y, \ddot y </source> |
| }} | | }} |
| {{Navbox | | {{Navbox |
Line 95: |
Line 93: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Letter-like symbols or constants | | |title = Letter-like symbols or constants |
− | |Group1 = <source lang="latex" enclose="none">\infty, \aleph, \complement, \backepsilon, \eth, \Finv, \hbar </source> | + | |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> | + | |list1 = <source lang="latex" enclose="none">\infty, \aleph, \complement, \backepsilon, \eth, \Finv, \hbar </source> |
− | |Group2 = <source lang="latex" enclose="none">\Im, \imath, \jmath, \Bbbk, \ell, \mho, \wp, \Re, \circledS </source> | + | |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> | + | |list2 = <source lang="latex" enclose="none">\Im, \imath, \jmath, \Bbbk, \ell, \mho, \wp, \Re, \circledS </source> |
| }} | | }} |
| {{Navbox | | {{Navbox |
Line 104: |
Line 102: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Modular arithmetic | | |title = Modular arithmetic |
− | |Group1 = <source lang="latex" enclose="none">s_k \equiv 0 \pmod{m} </source> | + | |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> | + | |list1 = <source lang="latex" enclose="none">s_k \equiv 0 \pmod{m} </source> |
− | |Group2 = <source lang="latex" enclose="none">a\,\bmod\,b </source> | + | |group2 = <source lang="latex" enclose="none">a\,\bmod\,b </source> |
− | |List2 = <source lang="latex" enclose="none">a\,\bmod\,b </source> | + | |list2 = <source lang="latex" enclose="none">a\,\bmod\,b </source> |
− | |Group3 = <source lang="latex" enclose="none">\gcd(m, n), \operatorname{lcm}(m, n)</source> | + | |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> | + | |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> | + | |group4 = <source lang="latex" enclose="none">\mid, \nmid, \shortmid, \nshortmid </source> |
− | |List4 = <source lang="latex" enclose="none">\mid, \nmid, \shortmid, \nshortmid </source> | + | |list4 = <source lang="latex" enclose="none">\mid, \nmid, \shortmid, \nshortmid </source> |
| }} | | }} |
| | | |
Line 118: |
Line 116: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Radicals | | |title = Radicals |
− | Group1 = <source lang="text" enclose="none">\surd, \sqrt{2}, \sqrt[n]{}, \sqrt[3]{x^3+y^3 \over 2} </source>
| + | |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>
| + | |list1 = <source lang="text" enclose="none">\surd, \sqrt{2}, \sqrt[n]{}, \sqrt[3]{x^3+y^3 \over 2} </source> |
| }} | | }} |
| {{Navbox | | {{Navbox |
Line 125: |
Line 123: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Operators | | |title = Operators |
− | |Group1 = <source lang="latex" enclose="none">+, -, \pm, \mp, \dotplus </source> | + | |group1 = <source lang="latex" enclose="none">+, -, \pm, \mp, \dotplus </source> |
− | |List1 = <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> | + | |group2 = <source lang="latex" enclose="none">\times, \div, \divideontimes, /, \backslash </source> |
− | |List2 = <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> | + | |group3 = <source lang="latex" enclose="none">\cdot, * \ast, \star, \circ, \bullet </source> |
− | |List3 = <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> | + | |group4 = <source lang="latex" enclose="none">\boxplus, \boxminus, \boxtimes, \boxdot </source> |
− | |List4 = <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> | + | |group5 = <source lang="latex" enclose="none">\oplus, \ominus, \otimes, \oslash, \odot</source> |
− | |List5 = <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> | + | |group6 = <source lang="latex" enclose="none">\circleddash, \circledcirc, \circledast </source> |
− | |List6 = <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> | + | |group7 = <source lang="latex" enclose="none">\bigoplus, \bigotimes, \bigodot </source> |
− | |List7 = <source lang="latex" enclose="none">\bigoplus, \bigotimes, \bigodot </source> | + | |list7 = <source lang="latex" enclose="none">\bigoplus, \bigotimes, \bigodot </source> |
| }} | | }} |
| | | |
Line 145: |
Line 143: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Sets | | |title = Sets |
− | |Group1 = <source lang="text" enclose="none">\{ \}, \O \empty \emptyset, \varnothing </source> | + | |group1 = <source lang="text" enclose="none">\{ \}, \O \empty \emptyset, \varnothing </source> |
− | |List1 = <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> | + | |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> | + | |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> | + | |group3 = <source lang="latex" enclose="none">\cap, \Cap, \sqcap, \bigcap </source> |
− | |List3 = <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> | + | |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> | + | |list4 = <source lang="latex" enclose="none">\cup, \Cup, \sqcup, \bigcup, \bigsqcup, \uplus, \biguplus </source> |
− | |Group5 = <source lang="latex" enclose="none">\setminus, \smallsetminus, \times </source> | + | |group5 = <source lang="latex" enclose="none">\setminus, \smallsetminus, \times </source> |
− | |List5 = <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> | + | |group6 = <source lang="latex" enclose="none">\subset, \Subset, \sqsubset </source> |
− | |List6 = <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> | + | |group7 = <source lang="latex" enclose="none">\supset, \Supset, \sqsupset </source> |
− | |List7 = <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> | + | |group8 = <source lang="latex" enclose="none">\subseteq, \nsubseteq, \subsetneq, \varsubsetneq, \sqsubseteq </source> |
− | |List8 = <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> | + | |group9 = <source lang="latex" enclose="none">\supseteq, \nsupseteq, \supsetneq, \varsupsetneq, \sqsupseteq </source> |
− | |List9 = <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> | + | |group10 = <source lang="latex" enclose="none">\subseteqq, \nsubseteqq, \subsetneqq, \varsubsetneqq </source> |
− | |List10 = <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> | + | |group11 = <source lang="latex" enclose="none">\supseteqq, \nsupseteqq, \supsetneqq, \varsupsetneqq </source> |
− | |List11 = <source lang="latex" enclose="none">\supseteqq, \nsupseteqq, \supsetneqq, \varsupsetneqq </source> | + | |list11 = <source lang="latex" enclose="none">\supseteqq, \nsupseteqq, \supsetneqq, \varsupsetneqq </source> |
| }} | | }} |
| {{Navbox | | {{Navbox |
Line 172: |
Line 170: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Relations | | |title = Relations |
− | |Group1 = <source lang="latex" enclose="none">=, \ne, \neq, \equiv, \not\equiv </source> | + | |group1 = <source lang="latex" enclose="none">=, \ne, \neq, \equiv, \not\equiv </source> |
− | |List1 = <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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |list9 = <source lang="latex" enclose="none">\lessgtr, \lesseqgtr, \lesseqqgtr, \gtrless, \gtreqless, \gtreqqless </source> |
− | |Group10 = <source lang="latex" enclose="none">\leqslant, \nleqslant, \eqslantless </source> | + | |group10 = <source lang="latex" enclose="none">\leqslant, \nleqslant, \eqslantless </source> |
− | |List10 = <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> | + | |group11 = <source lang="latex" enclose="none">\geqslant, \ngeqslant, \eqslantgtr </source> |
− | |List11 = <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> | + | |group12 = <source lang="latex" enclose="none">\lesssim, \lnsim, \lessapprox, \lnapprox </source> |
− | |List12 = <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> | + | |group13 = <source lang="latex" enclose="none">\gtrsim, \gnsim, \gtrapprox, \gnapprox </source> |
− | |List13 = <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> | + | |group14 = <source lang="latex" enclose="none">\prec, \nprec, \preceq, \npreceq, \precneqq </source> |
− | |List14 = <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> | + | |group15 = <source lang="latex" enclose="none">\succ, \nsucc, \succeq, \nsucceq, \succneqq </source> |
− | |List15 = <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> | + | |group16 = <source lang="latex" enclose="none">\preccurlyeq, \curlyeqprec </source> |
− | |List16 = <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> | + | |group17 = <source lang="latex" enclose="none">\succcurlyeq, \curlyeqsucc </source> |
− | |List17 = <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> | + | |group18 = <source lang="latex" enclose="none">\precsim, \precnsim, \precapprox, \precnapprox </source> |
− | |List18 = <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> | + | |group19 = <source lang="latex" enclose="none">\succsim, \succnsim, \succapprox, \succnapprox </source> |
− | |List19 = <source lang="latex" enclose="none">\succsim, \succnsim, \succapprox, \succnapprox </source> | + | |list19 = <source lang="latex" enclose="none">\succsim, \succnsim, \succapprox, \succnapprox </source> |
| }} | | }} |
| | | |
Line 216: |
Line 214: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Geometric | | |title = Geometric |
− | |Group1 = <source lang="latex" enclose="none">\parallel, \nparallel, \shortparallel, \nshortparallel </source> | + | |group1 = <source lang="latex" enclose="none">\parallel, \nparallel, \shortparallel, \nshortparallel </source> |
− | |List1 = <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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |group4 = <source lang="latex" enclose="none">\bigcirc, \triangle \bigtriangleup, \bigtriangledown </source> |
− | |List4 = <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> | + | |group5 = <source lang="latex" enclose="none">\vartriangle, \triangledown </source> |
− | |List5 = <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> | + | |group6 = <source lang="latex" enclose="none">\blacktriangle, \blacktriangledown, \blacktriangleleft, \blacktriangleright </source> |
− | |List6 = <source lang="latex" enclose="none">\blacktriangle, \blacktriangledown, \blacktriangleleft, \blacktriangleright </source> | + | |list6 = <source lang="latex" enclose="none">\blacktriangle, \blacktriangledown, \blacktriangleleft, \blacktriangleright </source> |
| }} | | }} |
| {{Navbox | | {{Navbox |
Line 233: |
Line 231: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Logic | | |title = Logic |
− | |Group1 = <source lang="latex" enclose="none">\forall, \exists, \nexists </source> | + | |group1 = <source lang="latex" enclose="none">\forall, \exists, \nexists </source> |
− | |List1 = <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> | + | |group2 = <source lang="latex" enclose="none">\therefore, \because, \And </source> |
− | |List2 = <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> | + | |group3 = <source lang="latex" enclose="none">\or \lor \vee, \curlyvee, \bigvee </source> |
− | |List3 = <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> | + | |group4 = <source lang="latex" enclose="none">\and \land \wedge, \curlywedge, \bigwedge </source> |
− | |List4 = <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 /> | + | |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> |
− | List5 = <source lang="text" enclose="none">\bar{q}, \bar{abc}, \overline{q}, \overline{abc}, </source><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> |
− | |Group6 = <source lang="latex" enclose="none">\vdash \dashv, \vDash, \Vdash, \models </source> | + | |group6 = <source lang="latex" enclose="none">\vdash \dashv, \vDash, \Vdash, \models </source> |
− | |List6 = <source lang="latex" enclose="none">\vdash \dashv, \vDash, \Vdash, \models </source> | + | |list6 = <source lang="latex" enclose="none">\vdash \dashv, \vDash, \Vdash, \models </source> |
− | |Group7 = <source lang="latex" enclose="none">\Vvdash \nvdash \nVdash \nvDash \nVDash </source> | + | |group7 = <source lang="latex" enclose="none">\Vvdash \nvdash \nVdash \nvDash \nVDash </source> |
− | |List7 = <source lang="latex" enclose="none">\Vvdash \nvdash \nVdash \nvDash \nVDash </source> | + | |list7 = <source lang="latex" enclose="none">\Vvdash \nvdash \nVdash \nvDash \nVDash </source> |
− | |Group8 = <source lang="latex" enclose="none">\ulcorner \urcorner \llcorner \lrcorner </source> | + | |group8 = <source lang="latex" enclose="none">\ulcorner \urcorner \llcorner \lrcorner </source> |
− | |List8 = <source lang="latex" enclose="none">\ulcorner \urcorner \llcorner \lrcorner </source> | + | |list8 = <source lang="latex" enclose="none">\ulcorner \urcorner \llcorner \lrcorner </source> |
| }} | | }} |
| | | |
Line 257: |
Line 255: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Arrows | | |title = Arrows |
− | |Group1 = <source lang="latex" enclose="none">\Rrightarrow, \Lleftarrow </source> | + | |group1 = <source lang="latex" enclose="none">\Rrightarrow, \Lleftarrow </source> |
− | |List1 = <source lang="latex" enclose="none">\Rrightarrow, \Lleftarrow </source> | + | |list1 = <source lang="latex" enclose="none">\Rrightarrow, \Lleftarrow </source> |
− | |Group2 = <source lang="latex" enclose="none">\Rightarrow, \nRightarrow, \Longrightarrow \implies </source> | + | |group2 = <source lang="latex" enclose="none">\Rightarrow, \nRightarrow, \Longrightarrow \implies </source> |
− | |List2 = <source lang="latex" enclose="none">\Rightarrow, \nRightarrow, \Longrightarrow \implies </source> | + | |list2 = <source lang="latex" enclose="none">\Rightarrow, \nRightarrow, \Longrightarrow \implies </source> |
− | |Group3 = <source lang="latex" enclose="none">\Leftarrow, \nLeftarrow, \Longleftarrow </source> | + | |group3 = <source lang="latex" enclose="none">\Leftarrow, \nLeftarrow, \Longleftarrow </source> |
− | |List3 = <source lang="latex" enclose="none">\Leftarrow, \nLeftarrow, \Longleftarrow </source> | + | |list3 = <source lang="latex" enclose="none">\Leftarrow, \nLeftarrow, \Longleftarrow </source> |
− | |Group4 = <source lang="latex" enclose="none">\Leftrightarrow, \nLeftrightarrow, \Longleftrightarrow \iff </source> | + | |group4 = <source lang="latex" enclose="none">\Leftrightarrow, \nLeftrightarrow, \Longleftrightarrow \iff </source> |
− | |List4 = <source lang="latex" enclose="none">\Leftrightarrow, \nLeftrightarrow, \Longleftrightarrow \iff </source> | + | |list4 = <source lang="latex" enclose="none">\Leftrightarrow, \nLeftrightarrow, \Longleftrightarrow \iff </source> |
− | |Group5 = <source lang="latex" enclose="none">\Uparrow, \Downarrow, \Updownarrow </source> | + | |group5 = <source lang="latex" enclose="none">\Uparrow, \Downarrow, \Updownarrow </source> |
− | |List5 = <source lang="latex" enclose="none">\Uparrow, \Downarrow, \Updownarrow </source> | + | |list5 = <source lang="latex" enclose="none">\Uparrow, \Downarrow, \Updownarrow </source> |
− | |Group6 = <source lang="latex" enclose="none">\rightarrow \to, \nrightarrow, \longrightarrow </source> | + | |group6 = <source lang="latex" enclose="none">\rightarrow \to, \nrightarrow, \longrightarrow </source> |
− | |List6 = <source lang="latex" enclose="none">\rightarrow \to, \nrightarrow, \longrightarrow </source> | + | |list6 = <source lang="latex" enclose="none">\rightarrow \to, \nrightarrow, \longrightarrow </source> |
− | |Group7 = <source lang="latex" enclose="none">\leftarrow \gets, \nleftarrow, \longleftarrow </source> | + | |group7 = <source lang="latex" enclose="none">\leftarrow \gets, \nleftarrow, \longleftarrow </source> |
− | |List7 = <source lang="latex" enclose="none">\leftarrow \gets, \nleftarrow, \longleftarrow </source> | + | |list7 = <source lang="latex" enclose="none">\leftarrow \gets, \nleftarrow, \longleftarrow </source> |
− | |Group8 = <source lang="latex" enclose="none">\leftrightarrow, \nleftrightarrow, \longleftrightarrow </source> | + | |group8 = <source lang="latex" enclose="none">\leftrightarrow, \nleftrightarrow, \longleftrightarrow </source> |
− | |List8 = <source lang="latex" enclose="none">\leftrightarrow, \nleftrightarrow, \longleftrightarrow </source> | + | |list8 = <source lang="latex" enclose="none">\leftrightarrow, \nleftrightarrow, \longleftrightarrow </source> |
− | |Group9 = <source lang="latex" enclose="none">\uparrow, \downarrow, \updownarrow </source> | + | |group9 = <source lang="latex" enclose="none">\uparrow, \downarrow, \updownarrow </source> |
− | |List9 = <source lang="latex" enclose="none">\uparrow, \downarrow, \updownarrow </source> | + | |list9 = <source lang="latex" enclose="none">\uparrow, \downarrow, \updownarrow </source> |
− | |Group10 = <source lang="latex" enclose="none">\nearrow, \swarrow, \nwarrow, \searrow </source> | + | |group10 = <source lang="latex" enclose="none">\nearrow, \swarrow, \nwarrow, \searrow </source> |
− | |List10 = <source lang="latex" enclose="none">\nearrow, \swarrow, \nwarrow, \searrow </source> | + | |list10 = <source lang="latex" enclose="none">\nearrow, \swarrow, \nwarrow, \searrow </source> |
− | |Group11 = <source lang="latex" enclose="none">\mapsto, \longmapsto </source> | + | |group11 = <source lang="latex" enclose="none">\mapsto, \longmapsto </source> |
− | |List11 = <source lang="latex" enclose="none">\mapsto, \longmapsto </source> | + | |list11 = <source lang="latex" enclose="none">\mapsto, \longmapsto </source> |
− | |Group12 = <source lang="latex" enclose="none">\rightharpoonup \rightharpoondown \leftharpoonup \leftharpoondown \upharpoonleft \upharpoonright \downharpoonleft \downharpoonright \rightleftharpoons \leftrightharpoons</source> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |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> | + | |list15 = <source lang="latex" enclose="none">\hookrightarrow \hookleftarrow \multimap \leftrightsquigarrow \rightsquigarrow \twoheadrightarrow \twoheadleftarrow </source> |
| }} | | }} |
| | | |
Line 293: |
Line 291: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Special | | |title = Special |
− | |Group1 = <source lang="latex" enclose="none">\amalg \P \S \% \dagger \ddagger \ldots \cdots </source> | + | |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> | + | |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> | + | |group2 = <source lang="latex" enclose="none">\smile \frown \wr \triangleleft \triangleright</source> |
− | |List2 = <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> | + | |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> | + | |list3 = <source lang="latex" enclose="none">\diamondsuit, \heartsuit, \clubsuit, \spadesuit, \Game, \flat, \natural, \sharp </source> |
| }} | | }} |
| {{Navbox | | {{Navbox |
Line 304: |
Line 302: |
| |state = uncollapsed | | |state = uncollapsed |
| |title = Unsorted (new stuff) | | |title = Unsorted (new stuff) |
− | |Group1 = <source lang="latex" enclose="none">\diagup \diagdown \centerdot \ltimes \rtimes \leftthreetimes \rightthreetimes </source> | + | |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> | + | |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> | + | |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> | + | |list2 = <source lang="latex" enclose="none">\eqcirc \circeq \triangleq \bumpeq \Bumpeq \doteqdot \risingdotseq \fallingdotseq </source> |
− | |Group3 = <source lang="latex" enclose="none">\intercal \barwedge \veebar \doublebarwedge \between \pitchfork </source> | + | |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> | + | |list3 = <source lang="latex" enclose="none">\intercal \barwedge \veebar \doublebarwedge \between \pitchfork </source> |
− | |Group4 = <source lang="latex" enclose="none">\vartriangleleft \ntriangleleft \vartriangleright \ntriangleright </source> | + | |group4 = <source lang="latex" enclose="none">\vartriangleleft \ntriangleleft \vartriangleright \ntriangleright </source> |
− | |List4 = <source lang="latex" enclose="none">\vartriangleleft \ntriangleleft \vartriangleright \ntriangleright </source> | + | |list4 = <source lang="latex" enclose="none">\vartriangleleft \ntriangleleft \vartriangleright \ntriangleright </source> |
− | |Group5 = <source lang="latex" enclose="none">\trianglelefteq \ntrianglelefteq \trianglerighteq \ntrianglerighteq </source> | + | |group5 = <source lang="latex" enclose="none">\trianglelefteq \ntrianglelefteq \trianglerighteq \ntrianglerighteq </source> |
− | List5 = <source lang="latex" enclose="none">\trianglelefteq \ntrianglelefteq \trianglerighteq \ntrianglerighteq </source>
| + | list5 = <source lang="latex" enclose="none">\trianglelefteq \ntrianglelefteq \trianglerighteq \ntrianglerighteq </source> |
| }} | | }} |
| | | |