% -*- mode: latex; -*- % Include greek % (c) 2003 Elmar Zander, Institute of Scientific Computing, TU Braunschweig % CVS: $Id: symbols.sty,v 1.33 2005/07/12 15:05:04 ezander Exp $ \NeedsTeXFormat{LaTeX2e} \ProvidesPackage{utf8math}[2010/09/12 Include Unicode math symbols directly in LaTeX] \typeout{Package: utf8math v1.0 <2003/05/12> (Elmar Zander)} \RequirePackage{inputenc} \def\utfch@rundefined{} \def\defutfmathch@r#1#2{% \ifx#2\utfch@rundefined% \DeclareUnicodeCharacter{#1}{?% % \PackageWarning{utf8math}{Unicode character U+#1 undefined}% % \PackageError{utf8math}{Unicode character U+#1 undefined}% }% \else% \DeclareUnicodeCharacter{#1}{\ensuremath{#2}}% \fi% } \defutfmathch@r{0391}{A} \defutfmathch@r{0392}{B} \defutfmathch@r{0393}{\Gamma} \defutfmathch@r{0394}{\Delta} \defutfmathch@r{0395}{E} \defutfmathch@r{0396}{Z} \defutfmathch@r{0397}{H} \defutfmathch@r{0398}{\Theta} \defutfmathch@r{0399}{I} \defutfmathch@r{039A}{K} \defutfmathch@r{039B}{\Lambda} \defutfmathch@r{039C}{M} \defutfmathch@r{039D}{N} \defutfmathch@r{039E}{\Xi} \defutfmathch@r{039F}{O} \defutfmathch@r{03A0}{\Pi} \defutfmathch@r{03A1}{P} \defutfmathch@r{03A3}{\Sigma} \defutfmathch@r{03A4}{T} \defutfmathch@r{03A5}{Y} \defutfmathch@r{03A6}{\Phi} \defutfmathch@r{03A7}{X} \defutfmathch@r{03A8}{\Psi} \defutfmathch@r{03A9}{\Omega} \defutfmathch@r{03B1}{\alpha} \defutfmathch@r{03B2}{\beta} \defutfmathch@r{03B3}{\gamma} \defutfmathch@r{03B4}{\delta} \defutfmathch@r{03B5}{\epsilon} \defutfmathch@r{03B6}{\zeta} \defutfmathch@r{03B7}{\eta} \defutfmathch@r{03B8}{\theta} \defutfmathch@r{03B9}{\iota} \defutfmathch@r{03BA}{\kappa} \defutfmathch@r{03BB}{\lambda} \defutfmathch@r{03BC}{\mu} \defutfmathch@r{03BD}{\nu} \defutfmathch@r{03BE}{\xi} \defutfmathch@r{03BF}{o} \defutfmathch@r{03C0}{\pi} \defutfmathch@r{03C1}{\rho} \defutfmathch@r{03C2}{\varsigma} \defutfmathch@r{03C3}{\sigma} \defutfmathch@r{03C4}{\tau} \defutfmathch@r{03C5}{\upsilon} \defutfmathch@r{03C6}{\phi} \defutfmathch@r{03C7}{\chi} \defutfmathch@r{03C8}{\psi} \defutfmathch@r{03C9}{\omega} \defutfmathch@r{03D1}{\vartheta} %\defutfmathch@r{03D2}{\upsih} \defutfmathch@r{03D6}{\varpi} \DeclareUnicodeCharacter{00D7}{\ensuremath{\times}} %\DeclareUnicodeCharacter{2200}{\ensuremath{\forall}} %\DeclareUnicodeCharacter{2203}{\ensuremath{\exists}} %\DeclareUnicodeCharacter{2208}{\ensuremath{\in}} %\DeclareUnicodeCharacter{2212}{\ensuremath{-}} \defutfmathch@r{2192}{\to} % FOR ALL (∀) \defutfmathch@r{2200}{\forall} % FOR ALL (∀) \defutfmathch@r{2201}{\complement} % COMPLEMENT (∁) \defutfmathch@r{2202}{\partial} % PARTIAL DIFFERENTIAL (∂) \defutfmathch@r{2203}{\exists} % THERE EXISTS (∃) \defutfmathch@r{2204}{\nexists} % THERE DOES NOT EXIST (∄) \defutfmathch@r{2205}{\emptyset\varnothing} % EMPTY SET (∅) \defutfmathch@r{2206}{\Delta} % INCREMENT (∆) \defutfmathch@r{2207}{\nabla} % NABLA (∇) \defutfmathch@r{2208}{\in} % ELEMENT OF (∈) \defutfmathch@r{2209}{\not\in} % NOT AN ELEMENT OF (∉) \defutfmathch@r{220A}{{\scriptstyle\in}} % SMALL ELEMENT OF (∊) \defutfmathch@r{220B}{\ni} % CONTAINS AS MEMBER (∋) \defutfmathch@r{220C}{\not\ni} % DOES NOT CONTAIN AS MEMBER (∌) \defutfmathch@r{220D}{{\scriptstyle\ni}} % SMALL CONTAINS AS MEMBER (∍) \defutfmathch@r{220E}{\utfch@rundefined} % END OF PROOF (∎) \defutfmathch@r{220F}{\prod} % N-ARY PRODUCT (∏) \defutfmathch@r{2210}{\coprod} % N-ARY COPRODUCT (∐) \defutfmathch@r{2211}{\sum} % N-ARY SUMMATION (∑) \defutfmathch@r{2212}{-} % MINUS SIGN (−) \defutfmathch@r{2213}{\mp} % MINUS-OR-PLUS SIGN (∓) \defutfmathch@r{2214}{\dot{+}} % DOT PLUS (∔) \defutfmathch@r{2215}{/} % DIVISION SLASH (∕) \defutfmathch@r{2216}{\backslash} % SET MINUS (∖) \defutfmathch@r{2217}{\ast} % ASTERISK OPERATOR (∗) \defutfmathch@r{2218}{\circ} % RING OPERATOR (∘) \defutfmathch@r{2219}{\cdot} % BULLET OPERATOR (∙) \defutfmathch@r{221A}{\sqrt} % SQUARE ROOT (√) \defutfmathch@r{221B}{\sqrt[3]{}} % CUBE ROOT (∛) \defutfmathch@r{221C}{\sqrt[4]{}} % FOURTH ROOT (∜) \defutfmathch@r{221D}{\propto} % PROPORTIONAL TO (∝) \defutfmathch@r{221E}{\infty} % INFINITY (∞) \defutfmathch@r{221F}{\utfch@rundefined} % RIGHT ANGLE (∟) \defutfmathch@r{2220}{\angle} % ANGLE (∠) \defutfmathch@r{2221}{\measuredangle} % MEASURED ANGLE (∡) \defutfmathch@r{2222}{\sphericalangle} % SPHERICAL ANGLE (∢) \defutfmathch@r{2223}{\mid} % DIVIDES (∣) \defutfmathch@r{2224}{\nmid} % DOES NOT DIVIDE (∤) \defutfmathch@r{2225}{\parallel} % PARALLEL TO (∥) \defutfmathch@r{2226}{\nparallel} % NOT PARALLEL TO (∦) \defutfmathch@r{2227}{\wedge} % LOGICAL AND (∧) \defutfmathch@r{2228}{\vee} % LOGICAL OR (∨) \defutfmathch@r{2229}{\cap} % INTERSECTION (∩) \defutfmathch@r{222A}{\cup} % UNION (∪) \defutfmathch@r{222B}{\int} % INTEGRAL (∫) \defutfmathch@r{222C}{\iint} % DOUBLE INTEGRAL (∬) \defutfmathch@r{222D}{\iiint} % TRIPLE INTEGRAL (∭) \defutfmathch@r{222E}{\oint} % CONTOUR INTEGRAL (∮) \defutfmathch@r{222F}{\oiint} % SURFACE INTEGRAL (∯) \defutfmathch@r{2230}{\utfch@rundefined} % VOLUME INTEGRAL (∰) \defutfmathch@r{2231}{\utfch@rundefined} % CLOCKWISE INTEGRAL (∱) \defutfmathch@r{2232}{\utfch@rundefined} % CLOCKWISE CONTOUR INTEGRAL (∲) \defutfmathch@r{2233}{\utfch@rundefined} % ANTICLOCKWISE CONTOUR INTEGRAL (∳) \defutfmathch@r{2234}{\therefore} % THEREFORE (∴) \defutfmathch@r{2235}{\because} % BECAUSE (∵) \defutfmathch@r{2236}{:} % RATIO (∶) \defutfmathch@r{2237}{::} % PROPORTION (∷) \defutfmathch@r{2238}{\utfch@rundefined} % DOT MINUS (∸) \defutfmathch@r{2239}{-:} % EXCESS (∹) \defutfmathch@r{223A}{\utfch@rundefined} % GEOMETRIC PROPORTION (∺) \defutfmathch@r{223B}{\utfch@rundefined} % HOMOTHETIC (∻) \defutfmathch@r{223C}{\sim} % TILDE OPERATOR (∼) \defutfmathch@r{223D}{\backsim} % REVERSED TILDE (∽) \defutfmathch@r{223E}{\utfch@rundefined} % INVERTED LAZY S (∾) \defutfmathch@r{223F}{\utfch@rundefined} % SINE WAVE (∿) \defutfmathch@r{2240}{\wr} % WREATH PRODUCT (≀) \defutfmathch@r{2241}{\nsim} % NOT TILDE (≁) \defutfmathch@r{2242}{\utfch@rundefined} % MINUS TILDE (≂) \defutfmathch@r{2243}{\simeq} % ASYMPTOTICALLY EQUAL TO (≃) \defutfmathch@r{2244}{\not\simeq} % NOT ASYMPTOTICALLY EQUAL TO (≄) \defutfmathch@r{2245}{\cong} % APPROXIMATELY EQUAL TO (≅) \defutfmathch@r{2246}{\utfch@rundefined} % APPROXIMATELY BUT NOT ACTUALLY EQUAL TO (≆) \defutfmathch@r{2247}{\utfch@rundefined} % NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO (≇) \defutfmathch@r{2248}{\approx} % ALMOST EQUAL TO (≈) \defutfmathch@r{2249}{\not\approx} % NOT ALMOST EQUAL TO (≉) \defutfmathch@r{224A}{\utfch@rundefined} % ALMOST EQUAL OR EQUAL TO (≊) \defutfmathch@r{224B}{\utfch@rundefined} % TRIPLE TILDE (≋) \defutfmathch@r{224C}{\utfch@rundefined} % ALL EQUAL TO (≌) \defutfmathch@r{224D}{\asymp} % EQUIVALENT TO (≍) \defutfmathch@r{224E}{\Bumpeq} % GEOMETRICALLY EQUIVALENT TO (≎) \defutfmathch@r{224F}{\bumpeq} % DIFFERENCE BETWEEN (≏) \defutfmathch@r{2250}{\doteq} % APPROACHES THE LIMIT (≐) \defutfmathch@r{2251}{\doteqdot} % GEOMETRICALLY EQUAL TO (≑) \defutfmathch@r{2252}{\fallingdotseq} % APPROXIMATELY EQUAL TO OR THE IMAGE OF (≒) \defutfmathch@r{2253}{\risingdotseq} % IMAGE OF OR APPROXIMATELY EQUAL TO (≓) \defutfmathch@r{2254}{:=} % COLON EQUALS (≔) \defutfmathch@r{2255}{=:} % EQUALS COLON (≕) \defutfmathch@r{2256}{\utfch@rundefined} % RING IN EQUAL TO (≖) \defutfmathch@r{2257}{\circeq} % RING EQUAL TO (≗) \defutfmathch@r{2258}{\utfch@rundefined} % CORRESPONDS TO (≘) \defutfmathch@r{2259}{\utfch@rundefined} % ESTIMATES (≙) \defutfmathch@r{225A}{\utfch@rundefined} % EQUIANGULAR TO (≚) \defutfmathch@r{225B}{\utfch@rundefined} % STAR EQUALS (≛) \defutfmathch@r{225C}{\triangleq} % DELTA EQUAL TO (≜) \defutfmathch@r{225D}{\utfch@rundefined} % EQUAL TO BY DEFINITION (≝) \defutfmathch@r{225E}{\utfch@rundefined} % MEASURED BY (≞) \defutfmathch@r{225F}{\utfch@rundefined} % QUESTIONED EQUAL TO (≟) \defutfmathch@r{2260}{\not=} % NOT EQUAL TO (≠) \defutfmathch@r{2261}{\equiv} % IDENTICAL TO (≡) \defutfmathch@r{2262}{\not\equiv} % NOT IDENTICAL TO (≢) \defutfmathch@r{2263}{\utfch@rundefined} % STRICTLY EQUIVALENT TO (≣) \defutfmathch@r{2264}{\leq} % LESS-THAN OR EQUAL TO (≤) \defutfmathch@r{2265}{\geq} % GREATER-THAN OR EQUAL TO (≥) \defutfmathch@r{2266}{\leqq} % LESS-THAN OVER EQUAL TO (≦) \defutfmathch@r{2267}{\geqq} % GREATER-THAN OVER EQUAL TO (≧) \defutfmathch@r{2268}{\gneqq} % LESS-THAN BUT NOT EQUAL TO (≨) \defutfmathch@r{2269}{\lneqq} % GREATER-THAN BUT NOT EQUAL TO (≩) \defutfmathch@r{226A}{\ll} % MUCH LESS-THAN (≪) \defutfmathch@r{226B}{\gg} % MUCH GREATER-THAN (≫) \defutfmathch@r{226C}{\between} % BETWEEN (≬) \defutfmathch@r{226D}{\utfch@rundefined} % NOT EQUIVALENT TO (≭) \defutfmathch@r{226E}{\nless} % NOT LESS-THAN (≮) \defutfmathch@r{226F}{\ngtr} % NOT GREATER-THAN (≯) \defutfmathch@r{2270}{\nleq} % NEITHER LESS-THAN NOR EQUAL TO (≰) \defutfmathch@r{2271}{\ngeq} % NEITHER GREATER-THAN NOR EQUAL TO (≱) \defutfmathch@r{2272}{\utfch@rundefined} % LESS-THAN OR EQUIVALENT TO (≲) \defutfmathch@r{2273}{\utfch@rundefined} % GREATER-THAN OR EQUIVALENT TO (≳) \defutfmathch@r{2274}{\utfch@rundefined} % NEITHER LESS-THAN NOR EQUIVALENT TO (≴) \defutfmathch@r{2275}{\utfch@rundefined} % NEITHER GREATER-THAN NOR EQUIVALENT TO (≵) \defutfmathch@r{2276}{\lessgtr} % LESS-THAN OR GREATER-THAN (≶) \defutfmathch@r{2277}{\gtrless} % GREATER-THAN OR LESS-THAN (≷) \defutfmathch@r{2278}{\not\lessgtr} % NEITHER LESS-THAN NOR GREATER-THAN (≸) \defutfmathch@r{2279}{\not\gtrless} % NEITHER GREATER-THAN NOR LESS-THAN (≹) \defutfmathch@r{227A}{\prec} % PRECEDES (≺) \defutfmathch@r{227B}{\succ} % SUCCEEDS (≻) \defutfmathch@r{227C}{\preceq} % PRECEDES OR EQUAL TO (≼) \defutfmathch@r{227D}{\succeq} % SUCCEEDS OR EQUAL TO (≽) \defutfmathch@r{227E}{\precsim} % PRECEDES OR EQUIVALENT TO (≾) \defutfmathch@r{227F}{\succsim} % SUCCEEDS OR EQUIVALENT TO (≿) \defutfmathch@r{2280}{\not\prec} % DOES NOT PRECEDE (⊀) \defutfmathch@r{2281}{\not\succ} % DOES NOT SUCCEED (⊁) \defutfmathch@r{2282}{\subset} % SUBSET OF (⊂) \defutfmathch@r{2283}{\supset} % SUPERSET OF (⊃) \defutfmathch@r{2284}{\not\subset} % NOT A SUBSET OF (⊄) \defutfmathch@r{2285}{\not\supset} % NOT A SUPERSET OF (⊅) \defutfmathch@r{2286}{\subseteq} % SUBSET OF OR EQUAL TO (⊆) \defutfmathch@r{2287}{\supseteq} % SUPERSET OF OR EQUAL TO (⊇) \defutfmathch@r{2288}{\not\subseteq} % NEITHER A SUBSET OF NOR EQUAL TO (⊈) \defutfmathch@r{2289}{\not\supseteq} % NEITHER A SUPERSET OF NOR EQUAL TO (⊉) \defutfmathch@r{228A}{\utfch@rundefined} % SUBSET OF WITH NOT EQUAL TO (⊊) \defutfmathch@r{228B}{\utfch@rundefined} % SUPERSET OF WITH NOT EQUAL TO (⊋) \defutfmathch@r{228C}{\utfch@rundefined} % MULTISET (⊌) \defutfmathch@r{228D}{\utfch@rundefined} % MULTISET MULTIPLICATION (⊍) \defutfmathch@r{228E}{\uplus} % MULTISET UNION (⊎) \defutfmathch@r{228F}{\sqsubset} % SQUARE IMAGE OF (⊏) \defutfmathch@r{2290}{\sqsupset} % SQUARE ORIGINAL OF (⊐) \defutfmathch@r{2291}{\sqsubseteq} % SQUARE IMAGE OF OR EQUAL TO (⊑) \defutfmathch@r{2292}{\sqsupseteq} % SQUARE ORIGINAL OF OR EQUAL TO (⊒) \defutfmathch@r{2293}{\sqcap} % SQUARE CAP (⊓) \defutfmathch@r{2294}{\sqcup} % SQUARE CUP (⊔) \defutfmathch@r{2295}{\oplus} % CIRCLED PLUS (⊕) \defutfmathch@r{2296}{\ominus} % CIRCLED MINUS (⊖) \defutfmathch@r{2297}{\otimes} % CIRCLED TIMES (⊗) \defutfmathch@r{2298}{\oslash} % CIRCLED DIVISION SLASH (⊘) \defutfmathch@r{2299}{\odot} % CIRCLED DOT OPERATOR (⊙) \defutfmathch@r{229A}{\circledcirc} % CIRCLED RING OPERATOR (⊚) \defutfmathch@r{229B}{\circledast} % CIRCLED ASTERISK OPERATOR (⊛) \defutfmathch@r{229C}{} % CIRCLED EQUALS (⊜) \defutfmathch@r{229D}{\circleddash} % CIRCLED DASH (⊝) \defutfmathch@r{229E}{\boxplus} % SQUARED PLUS (⊞) \defutfmathch@r{229F}{\boxminus} % SQUARED MINUS (⊟) \defutfmathch@r{22A0}{\boxtimes} % SQUARED TIMES (⊠) \defutfmathch@r{22A1}{\boxdot} % SQUARED DOT OPERATOR (⊡) \defutfmathch@r{22A2}{\vdash} % RIGHT TACK (⊢) \defutfmathch@r{22A3}{\dashv} % LEFT TACK (⊣) \defutfmathch@r{22A4}{\top} % DOWN TACK (⊤) \defutfmathch@r{22A5}{\bot} % UP TACK (⊥) \defutfmathch@r{22A6}{\vdash} % ASSERTION (⊦) \defutfmathch@r{22A7}{\models} % MODELS (⊧) \defutfmathch@r{22A8}{\utfch@rundefined} % TRUE (⊨) \defutfmathch@r{22A9}{\utfch@rundefined} % FORCES (⊩) \defutfmathch@r{22AA}{\utfch@rundefined} % TRIPLE VERTICAL BAR RIGHT TURNSTILE (⊪) \defutfmathch@r{22AB}{\utfch@rundefined} % DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE (⊫) \defutfmathch@r{22AC}{\not\vdash} % DOES NOT PROVE (⊬) \defutfmathch@r{22AD}{\utfch@rundefined} % NOT TRUE (⊭) \defutfmathch@r{22AE}{\utfch@rundefined} % DOES NOT FORCE (⊮) \defutfmathch@r{22AF}{\utfch@rundefined} % NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE (⊯) \defutfmathch@r{22B0}{\utfch@rundefined} % PRECEDES UNDER RELATION (⊰) \defutfmathch@r{22B1}{\utfch@rundefined} % SUCCEEDS UNDER RELATION (⊱) \defutfmathch@r{22B2}{\lhd} % NORMAL SUBGROUP OF (⊲) \defutfmathch@r{22B3}{\rhd} % CONTAINS AS NORMAL SUBGROUP (⊳) \defutfmathch@r{22B4}{\unlhd} % NORMAL SUBGROUP OF OR EQUAL TO (⊴) \defutfmathch@r{22B5}{\unrhd} % CONTAINS AS NORMAL SUBGROUP OR EQUAL TO (⊵) \defutfmathch@r{22B6}{\utfch@rundefined} % ORIGINAL OF (⊶) \defutfmathch@r{22B7}{\utfch@rundefined} % IMAGE OF (⊷) \defutfmathch@r{22B8}{\utfch@rundefined} % MULTIMAP (⊸) \defutfmathch@r{22B9}{\utfch@rundefined} % HERMITIAN CONJUGATE MATRIX (⊹) \defutfmathch@r{22BA}{\utfch@rundefined} % INTERCALATE (⊺) \defutfmathch@r{22BB}{\veebar} % XOR (⊻) \defutfmathch@r{22BC}{\barwedge} % NAND (⊼) \defutfmathch@r{22BD}{\utfch@rundefined} % NOR (⊽) \defutfmathch@r{22BE}{\utfch@rundefined} % RIGHT ANGLE WITH ARC (⊾) \defutfmathch@r{22BF}{\utfch@rundefined} % RIGHT TRIANGLE (⊿) \defutfmathch@r{22C0}{\bigwedge} % N-ARY LOGICAL AND (⋀) \defutfmathch@r{22C1}{\bigvee} % N-ARY LOGICAL OR (⋁) \defutfmathch@r{22C2}{\bigcap} % N-ARY INTERSECTION (⋂) \defutfmathch@r{22C3}{\bigcup} % N-ARY UNION (⋃) \defutfmathch@r{22C4}{\utfch@rundefined} % DIAMOND OPERATOR (⋄) \defutfmathch@r{22C5}{\cdot} % DOT OPERATOR (⋅) \defutfmathch@r{22C6}{\utfch@rundefined} % STAR OPERATOR (⋆) \defutfmathch@r{22C7}{\utfch@rundefined} % DIVISION TIMES (⋇) \defutfmathch@r{22C8}{\bowtie} % BOWTIE (⋈) \defutfmathch@r{22C9}{\utfch@rundefined} % LEFT NORMAL FACTOR SEMIDIRECT PRODUCT (⋉) \defutfmathch@r{22CA}{\utfch@rundefined} % RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT (⋊) \defutfmathch@r{22CB}{\utfch@rundefined} % LEFT SEMIDIRECT PRODUCT (⋋) \defutfmathch@r{22CC}{\utfch@rundefined} % RIGHT SEMIDIRECT PRODUCT (⋌) \defutfmathch@r{22CD}{\utfch@rundefined} % REVERSED TILDE EQUALS (⋍) \defutfmathch@r{22CE}{\utfch@rundefined} % CURLY LOGICAL OR (⋎) \defutfmathch@r{22CF}{\utfch@rundefined} % CURLY LOGICAL AND (⋏) \defutfmathch@r{22D0}{\Subset} % DOUBLE SUBSET (⋐) \defutfmathch@r{22D1}{\Supset} % DOUBLE SUPERSET (⋑) \defutfmathch@r{22D2}{\Cap} % DOUBLE INTERSECTION (⋒) \defutfmathch@r{22D3}{\Cup} % DOUBLE UNION (⋓) \defutfmathch@r{22D4}{\pitchfork} % PITCHFORK (⋔) \defutfmathch@r{22D5}{\utfch@rundefined} % EQUAL AND PARALLEL TO (⋕) \defutfmathch@r{22D6}{\lessdot} % LESS-THAN WITH DOT (⋖) \defutfmathch@r{22D7}{\gtrdot} % GREATER-THAN WITH DOT (⋗) \defutfmathch@r{22D8}{\lll} % VERY MUCH LESS-THAN (⋘) \defutfmathch@r{22D9}{\ggg} % VERY MUCH GREATER-THAN (⋙) \defutfmathch@r{22DA}{\lesseqgtr} % LESS-THAN EQUAL TO OR GREATER-THAN (⋚) \defutfmathch@r{22DB}{\gtreqless} % GREATER-THAN EQUAL TO OR LESS-THAN (⋛) \defutfmathch@r{22DC}{\utfch@rundefined} % EQUAL TO OR LESS-THAN (⋜) \defutfmathch@r{22DD}{\utfch@rundefined} % EQUAL TO OR GREATER-THAN (⋝) \defutfmathch@r{22DE}{\utfch@rundefined} % EQUAL TO OR PRECEDES (⋞) \defutfmathch@r{22DF}{\utfch@rundefined} % EQUAL TO OR SUCCEEDS (⋟) \defutfmathch@r{22E0}{\utfch@rundefined} % DOES NOT PRECEDE OR EQUAL (⋠) \defutfmathch@r{22E1}{\utfch@rundefined} % DOES NOT SUCCEED OR EQUAL (⋡) \defutfmathch@r{22E2}{\utfch@rundefined} % NOT SQUARE IMAGE OF OR EQUAL TO (⋢) \defutfmathch@r{22E3}{\utfch@rundefined} % NOT SQUARE ORIGINAL OF OR EQUAL TO (⋣) \defutfmathch@r{22E4}{\utfch@rundefined} % SQUARE IMAGE OF OR NOT EQUAL TO (⋤) \defutfmathch@r{22E5}{\utfch@rundefined} % SQUARE ORIGINAL OF OR NOT EQUAL TO (⋥) \defutfmathch@r{22E6}{\utfch@rundefined} % LESS-THAN BUT NOT EQUIVALENT TO (⋦) \defutfmathch@r{22E7}{\utfch@rundefined} % GREATER-THAN BUT NOT EQUIVALENT TO (⋧) \defutfmathch@r{22E8}{\utfch@rundefined} % PRECEDES BUT NOT EQUIVALENT TO (⋨) \defutfmathch@r{22E9}{\utfch@rundefined} % SUCCEEDS BUT NOT EQUIVALENT TO (⋩) \defutfmathch@r{22EA}{\not\lhd} % NOT NORMAL SUBGROUP OF (⋪) \defutfmathch@r{22EB}{\utfch@rundefined} % DOES NOT CONTAIN AS NORMAL SUBGROUP (⋫) \defutfmathch@r{22EC}{\utfch@rundefined} % NOT NORMAL SUBGROUP OF OR EQUAL TO (⋬) \defutfmathch@r{22ED}{\utfch@rundefined} % DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL (⋭) \defutfmathch@r{22EE}{\vdots} % VERTICAL ELLIPSIS (⋮) \defutfmathch@r{22EF}{\cdots} % MIDLINE HORIZONTAL ELLIPSIS (⋯) \defutfmathch@r{22F0}{\utfch@rundefined} % UP RIGHT DIAGONAL ELLIPSIS (⋰) \defutfmathch@r{22F1}{\ddots} % DOWN RIGHT DIAGONAL ELLIPSIS (⋱) \defutfmathch@r{22F2}{\utfch@rundefined} % ELEMENT OF WITH LONG HORIZONTAL STROKE (⋲) \defutfmathch@r{22F3}{\utfch@rundefined} % ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE (⋳) \defutfmathch@r{22F4}{\utfch@rundefined} % SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE (⋴) \defutfmathch@r{22F5}{\utfch@rundefined} % ELEMENT OF WITH DOT ABOVE (⋵) \defutfmathch@r{22F6}{\utfch@rundefined} % ELEMENT OF WITH OVERBAR (⋶) \defutfmathch@r{22F7}{\utfch@rundefined} % SMALL ELEMENT OF WITH OVERBAR (⋷) \defutfmathch@r{22F8}{\utfch@rundefined} % ELEMENT OF WITH UNDERBAR (⋸) \defutfmathch@r{22F9}{\utfch@rundefined} % ELEMENT OF WITH TWO HORIZONTAL STROKES (⋹) \defutfmathch@r{22FA}{\utfch@rundefined} % CONTAINS WITH LONG HORIZONTAL STROKE (⋺) \defutfmathch@r{22FB}{\utfch@rundefined} % CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE (⋻) \defutfmathch@r{22FC}{\utfch@rundefined} % SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE (⋼) \defutfmathch@r{22FD}{\utfch@rundefined} % CONTAINS WITH OVERBAR (⋽) \defutfmathch@r{22FE}{\utfch@rundefined} % SMALL CONTAINS WITH OVERBAR (⋾) \defutfmathch@r{22FF}{\utfch@rundefined} % Z NOTATION BAG MEMBERSHIP (⋿) %Fritz: \defutfmathch@r{27F6}{\longrightarrow} \defutfmathch@r{212C}{\mathscr{B}} \defutfmathch@r{211D}{\mathbb{R}} \defutfmathch@r{2102}{\mathbb{C}} \defutfmathch@r{211A}{\mathbb{Q}} \defutfmathch@r{2115}{\mathbb{N}} \defutfmathch@r{27F8}{\Longleftarrow} \defutfmathch@r{27F9}{\Longrightarrow} \defutfmathch@r{1D49E}{\mathscr{C}} \defutfmathch@r{2113}{\ell} \defutfmathch@r{29F9}{\setminus} \defutfmathch@r{2124}{\mathbb{Z}} \defutfmathch@r{FF1A}{\colon} \defutfmathch@r{2329}{\langle} \defutfmathch@r{232A}{\rangle} \defutfmathch@r{21A6}{\mapsto} \defutfmathch@r{2131}{\mathscr{F}} \defutfmathch@r{210B}{\mathscr{H}} \defutfmathch@r{25C1}{\lhd} \defutfmathch@r{25CB}{\circ} \defutfmathch@r{21D2}{\implies} \defutfmathch@r{00B1}{\pm} \defutfmathch@r{230A}{\lfloor} \defutfmathch@r{230B}{\rfloor} \defutfmathch@r{2309}{\rceil} \defutfmathch@r{2308}{\lceil}