diff options
Diffstat (limited to 'macros/latex/contrib/unicode-math-input/unicode-math-input-table.tex')
-rw-r--r-- | macros/latex/contrib/unicode-math-input/unicode-math-input-table.tex | 96 |
1 files changed, 48 insertions, 48 deletions
diff --git a/macros/latex/contrib/unicode-math-input/unicode-math-input-table.tex b/macros/latex/contrib/unicode-math-input/unicode-math-input-table.tex index 7ab364cedd..f72a488c86 100644 --- a/macros/latex/contrib/unicode-math-input/unicode-math-input-table.tex +++ b/macros/latex/contrib/unicode-math-input/unicode-math-input-table.tex @@ -96,12 +96,12 @@ \__umi_define_char{£}{\mathsterling} \__umi_define_char{¥}{\mathyen} \__umi_define_char{§}{\mathsection} -\__umi_define_char{¬}{\neg} +\__umi_define_char{¬}{\__umi_alternatives\neg\lnot} \__umi_define_char{±}{\pm} \__umi_define_char{¶}{\mathparagraph} -\__umi_define_char{·}{\cdotp} +\__umi_define_char{·}{\__umi_alternatives\cdotp\centerdot} \__umi_define_char{×}{\times} -\__umi_define_char{ð}{\matheth} +\__umi_define_char{ð}{\__umi_alternatives\matheth\eth} \__umi_define_char{÷}{\div} \__umi_define_char{Ƶ}{\Zbar} \__umi_define_char{Α}{\__umi_alternatives_iisafe\Alpha A} @@ -156,22 +156,22 @@ \__umi_define_char{ϑ}{\vartheta} \__umi_define_char{ϕ}{\phi} \__umi_define_char{ϖ}{\varpi} -\__umi_define_char{Ϝ}{\upDigamma} -\__umi_define_char{ϝ}{\updigamma} +\__umi_define_char{Ϝ}{\__umi_alternatives\upDigamma\Digamma} +\__umi_define_char{ϝ}{\__umi_alternatives\updigamma\digamma} \__umi_define_char{ϰ}{\varkappa} \__umi_define_char{ϱ}{\varrho} \__umi_define_char{ϴ}{\varTheta} \__umi_define_char{ϵ}{\epsilon} -\__umi_define_char{϶}{\upbackepsilon} +\__umi_define_char{϶}{\__umi_alternatives\upbackepsilon\backepsilon} \__umi_define_char{‐}{\mathhyphen} \__umi_define_char{―}{\horizbar} \__umi_define_char_maybe_delimiter{‖}{\Vert} \__umi_define_char{‗}{\twolowline} \__umi_define_char{†}{\dagger} \__umi_define_char{‡}{\ddagger} -\__umi_define_char{•}{\smblkcircle} +\__umi_define_char{•}{\__umi_alternatives_m{\smblkcircle\bullet\vysmblkcircle}} \__umi_define_char{‥}{\enleadertwodots} -\__umi_define_char{…}{\unicodeellipsis} +\__umi_define_char{…}{\__umi_alternatives\unicodeellipsis\ldots} \__umi_define_char{‸}{\caretinsert} \__umi_define_char{‼}{\Exclam} \__umi_define_char{⁀}{\tieconcat} @@ -191,7 +191,7 @@ \__umi_define_char{ℌ}{\umiMathfrak{H}} \__umi_define_char{ℍ}{\umiMathbb{H}} \__umi_define_char{ℎ}{\Planckconst} -\__umi_define_char{ℏ}{\hslash} +\__umi_define_char{ℏ}{\__umi_alternatives\hslash\hbar} \__umi_define_char{ℐ}{\umiMathscr{I}} \__umi_define_char{ℑ}{\Im} \__umi_define_char{ℒ}{\umiMathscr{L}} @@ -236,9 +236,9 @@ \__umi_define_char{ⅉ}{\umiMathbbit{j}} \__umi_define_char{⅊}{\PropertyLine} \__umi_define_char{⅋}{\upand} -\__umi_define_char{←}{\leftarrow} +\__umi_define_char{←}{\__umi_alternatives\leftarrow\gets} \__umi_define_char_maybe_delimiter{↑}{\uparrow} -\__umi_define_char{→}{\rightarrow} +\__umi_define_char{→}{\__umi_alternatives\rightarrow\to} \__umi_define_char_maybe_delimiter{↓}{\downarrow} \__umi_define_char{↔}{\leftrightarrow} \__umi_define_char_maybe_delimiter{↕}{\updownarrow} @@ -246,7 +246,7 @@ \__umi_define_char{↗}{\nearrow} \__umi_define_char{↘}{\searrow} \__umi_define_char{↙}{\swarrow} -\__umi_define_char{↚}{\__umi_alternatives_not\nleftarrow\leftarrow} +\__umi_define_char{↚}{\__umi_alternatives_not_two\nleftarrow\ngets\leftarrow\gets} \__umi_define_char{↛}{\__umi_alternatives_not\nrightarrow\rightarrow} \__umi_define_char{↜}{\leftwavearrow} \__umi_define_char{↝}{\rightwavearrow} @@ -313,7 +313,7 @@ \__umi_define_char{⇚}{\Lleftarrow} \__umi_define_char{⇛}{\Rrightarrow} \__umi_define_char{⇜}{\leftsquigarrow} -\__umi_define_char{⇝}{\rightsquigarrow} +\__umi_define_char{⇝}{\__umi_alternatives\rightsquigarrow\leadsto} \__umi_define_char_maybe_delimiter{⇞}{\nHuparrow} \__umi_define_char_maybe_delimiter{⇟}{\nHdownarrow} \__umi_define_char{⇠}{\leftdasharrow} @@ -344,39 +344,39 @@ \__umi_define_char{∂}{\partial} \__umi_define_char{∃}{\exists} \__umi_define_char{∄}{\__umi_alternatives_not\nexists\exists} -\__umi_define_char{∅}{\varnothing} +\__umi_define_char{∅}{\__umi_alternatives\varnothing\emptyset} \__umi_define_char{∆}{\increment} \__umi_define_char{∇}{\nabla} \__umi_define_char{∈}{\in} \__umi_define_char{∉}{\__umi_alternatives_not\notin\in} \__umi_define_char{∊}{\smallin} -\__umi_define_char{∋}{\ni} +\__umi_define_char{∋}{\__umi_alternatives\ni\owns} \__umi_define_char{∌}{\__umi_alternatives_not\nni\ni} \__umi_define_char{∍}{\smallni} \__umi_define_char{∎}{\QED} \__umi_define_char{∏}{\prod} \__umi_define_char{∐}{\coprod} \__umi_define_char{∑}{\sum} -\__umi_define_char{−}{\minus} +\__umi_define_char{−}{\__umi_alternatives\minus-} \__umi_define_char{∓}{\mp} \__umi_define_char{∔}{\dotplus} \__umi_define_char_maybe_delimiter{∕}{\divslash} \__umi_define_char{∖}{\smallsetminus} \__umi_define_char{∗}{\ast} -\__umi_define_char{∘}{\vysmwhtcircle} -\__umi_define_char{∙}{\vysmblkcircle} +\__umi_define_char{∘}{\__umi_alternatives_m{\vysmwhtcircle\circ\smwhtcircle}} +\__umi_define_char{∙}{\__umi_alternatives_m{\vysmblkcircle\bullet\smblkcircle}} \__umi_define_char{∝}{\propto} \__umi_define_char{∞}{\infty} \__umi_define_char{∟}{\rightangle} \__umi_define_char{∠}{\angle} \__umi_define_char{∡}{\measuredangle} \__umi_define_char{∢}{\sphericalangle} -\__umi_define_char{∣}{\mid} +\__umi_define_char{∣}{\__umi_alternatives\mid|} \__umi_define_char{∤}{\__umi_alternatives_not\nmid\mid} \__umi_define_char{∥}{\parallel} \__umi_define_char{∦}{\__umi_alternatives_not\nparallel\parallel} -\__umi_define_char{∧}{\wedge} -\__umi_define_char{∨}{\vee} +\__umi_define_char{∧}{\__umi_alternatives\wedge\land} +\__umi_define_char{∨}{\__umi_alternatives\vee\lor} \__umi_define_char{∩}{\cap} \__umi_define_char{∪}{\cup} \__umi_define_char{∫}{\int} @@ -404,7 +404,7 @@ \__umi_define_char{≁}{\__umi_alternatives_not\nsim\sim} \__umi_define_char{≂}{\eqsim} \__umi_define_char{≃}{\__umi_alternatives\simeq\sime} -\__umi_define_char{≄}{\__umi_alternatives\nsimeq\nsime} +\__umi_define_char{≄}{\__umi_alternatives_not_two\nsime\nsimeq\sime\simeq} \__umi_define_char{≅}{\cong} \__umi_define_char{≆}{\simneqq} \__umi_define_char{≇}{\__umi_alternatives_not\ncong\cong} @@ -417,7 +417,7 @@ \__umi_define_char{≎}{\Bumpeq} \__umi_define_char{≏}{\bumpeq} \__umi_define_char{≐}{\doteq} -\__umi_define_char{≑}{\Doteq} +\__umi_define_char{≑}{\__umi_alternatives\Doteq\doteqdot} \__umi_define_char{≒}{\fallingdotseq} \__umi_define_char{≓}{\risingdotseq} \__umi_define_char{≔}{\coloneq} @@ -432,12 +432,12 @@ \__umi_define_char{≝}{\eqdef} \__umi_define_char{≞}{\measeq} \__umi_define_char{≟}{\questeq} -\__umi_define_char{≠}{\ne} +\__umi_define_char{≠}{\__umi_alternatives\ne\neq} \__umi_define_char{≡}{\equiv} \__umi_define_char{≢}{\__umi_alternatives_not\nequiv\equiv} \__umi_define_char{≣}{\Equiv} -\__umi_define_char{≤}{\leq} -\__umi_define_char{≥}{\geq} +\__umi_define_char{≤}{\__umi_alternatives\leq\le} +\__umi_define_char{≥}{\__umi_alternatives\geq\ge} \__umi_define_char{≦}{\leqq} \__umi_define_char{≧}{\geqq} \__umi_define_char{≨}{\lneqq} @@ -448,8 +448,8 @@ \__umi_define_char{≭}{\__umi_alternatives_not\nasymp\asymp} \__umi_define_char{≮}{\__umi_alternatives_not\nless\less} \__umi_define_char{≯}{\ngtr} -\__umi_define_char{≰}{\__umi_alternatives_not\nleq\leq} -\__umi_define_char{≱}{\__umi_alternatives_not\ngeq\geq} +\__umi_define_char{≰}{\__umi_alternatives_not_two\nleq\nle\leq\le} +\__umi_define_char{≱}{\__umi_alternatives_not_two\ngeq\nge\geq\ge} \__umi_define_char{≲}{\lesssim} \__umi_define_char{≳}{\gtrsim} \__umi_define_char{≴}{\__umi_alternatives_not\nlesssim\lesssim} @@ -532,7 +532,7 @@ \__umi_define_char{⋁}{\bigvee} \__umi_define_char{⋂}{\bigcap} \__umi_define_char{⋃}{\bigcup} -\__umi_define_char{⋄}{\smwhtdiamond} +\__umi_define_char{⋄}{\__umi_alternatives\smwhtdiamond\diamond} \__umi_define_char{⋅}{\cdot} \__umi_define_char{⋆}{\star} \__umi_define_char{⋇}{\divideontimes} @@ -546,14 +546,14 @@ \__umi_define_char{⋏}{\curlywedge} \__umi_define_char{⋐}{\Subset} \__umi_define_char{⋑}{\Supset} -\__umi_define_char{⋒}{\Cap} -\__umi_define_char{⋓}{\Cup} +\__umi_define_char{⋒}{\__umi_alternatives\Cap\doublecap} +\__umi_define_char{⋓}{\__umi_alternatives\Cup\doublecup} \__umi_define_char{⋔}{\pitchfork} \__umi_define_char{⋕}{\equalparallel} \__umi_define_char{⋖}{\lessdot} \__umi_define_char{⋗}{\gtrdot} -\__umi_define_char{⋘}{\lll} -\__umi_define_char{⋙}{\ggg} +\__umi_define_char{⋘}{\__umi_alternatives\lll\llless} +\__umi_define_char{⋙}{\__umi_alternatives\ggg\gggtr} \__umi_define_char{⋚}{\lesseqgtr} \__umi_define_char{⋛}{\gtreqless} \__umi_define_char{⋜}{\eqless} @@ -575,8 +575,8 @@ \__umi_define_char{⋬}{\__umi_alternatives_not\ntrianglelefteq\trianglelefteq} \__umi_define_char{⋭}{\__umi_alternatives_not\ntrianglerighteq\trianglerighteq} \__umi_define_char{⋮}{\vdots} -\__umi_define_char{⋯}{\unicodecdots} -\__umi_define_char{⋰}{\__umi_alternatives\iddots\adots} +\__umi_define_char{⋯}{\__umi_alternatives\unicodecdots\cdots} +\__umi_define_char{⋰}{\__umi_alternatives\adots\iddots} \__umi_define_char{⋱}{\ddots} \__umi_define_char{⋲}{\disin} \__umi_define_char{⋳}{\varisins} @@ -673,8 +673,8 @@ \__umi_define_char{░}{\blockqtrshaded} \__umi_define_char{▒}{\blockhalfshaded} \__umi_define_char{▓}{\blockthreeqtrshaded} -\__umi_define_char{■}{\mdlgblksquare} -\__umi_define_char{□}{\mdlgwhtsquare} +\__umi_define_char{■}{\__umi_alternatives\mdlgblksquare\blacksquare} +\__umi_define_char{□}{\__umi_alternatives_m{\mdlgwhtsquare\Box\square}} \__umi_define_char{▢}{\squoval} \__umi_define_char{▣}{\blackinwhitesquare} \__umi_define_char{▤}{\squarehfill} @@ -692,7 +692,7 @@ \__umi_define_char{▰}{\parallelogramblack} \__umi_define_char{▱}{\parallelogram} \__umi_define_char{▲}{\bigblacktriangleup} -\__umi_define_char{△}{\bigtriangleup} +\__umi_define_char{△}{\__umi_alternatives_m{\bigtriangleup\triangle\varbigtriangleup}} \__umi_define_char{▴}{\blacktriangle} \__umi_define_char{▵}{\vartriangle} \__umi_define_char{▶}{\blacktriangleright} @@ -702,7 +702,7 @@ \__umi_define_char{►}{\blackpointerright} \__umi_define_char{▻}{\whitepointerright} \__umi_define_char{▼}{\bigblacktriangledown} -\__umi_define_char{▽}{\bigtriangledown} +\__umi_define_char{▽}{\__umi_alternatives\bigtriangledown\varbigtriangledown} \__umi_define_char{▾}{\blacktriangledown} \__umi_define_char{▿}{\triangledown} \__umi_define_char{◀}{\blacktriangleleft} @@ -715,8 +715,8 @@ \__umi_define_char{◇}{\mdlgwhtdiamond} \__umi_define_char{◈}{\blackinwhitediamond} \__umi_define_char{◉}{\fisheye} -\__umi_define_char{◊}{\mdlgwhtlozenge} -\__umi_define_char{○}{\mdlgwhtcircle} +\__umi_define_char{◊}{\__umi_alternatives_m{\mdlgwhtlozenge\Diamond\lozenge}} +\__umi_define_char{○}{\__umi_alternatives\mdlgwhtcircle\bigcirc} \__umi_define_char{◌}{\dottedcircle} \__umi_define_char{◍}{\circlevertfill} \__umi_define_char{◎}{\bullseye} @@ -743,7 +743,7 @@ \__umi_define_char{◣}{\llblacktriangle} \__umi_define_char{◤}{\ulblacktriangle} \__umi_define_char{◥}{\urblacktriangle} -\__umi_define_char{◦}{\smwhtcircle} +\__umi_define_char{◦}{\__umi_alternatives_m{\smwhtcircle\circ\vysmwhtcircle}} \__umi_define_char{◧}{\squareleftblack} \__umi_define_char{◨}{\squarerightblack} \__umi_define_char{◩}{\squareulblack} @@ -889,9 +889,9 @@ \__umi_define_char{⤋}{\Ddownarrow} \__umi_define_char{⤌}{\leftbkarrow} \__umi_define_char{⤍}{\rightbkarrow} -\__umi_define_char{⤎}{\leftdbkarrow} -\__umi_define_char{⤏}{\dbkarrow} -\__umi_define_char{⤐}{\drbkarrow} +\__umi_define_char{⤎}{\__umi_alternatives\leftdbkarrow\dashleftarrow} +\__umi_define_char{⤏}{\__umi_alternatives_m{\dbkarrow\dasharrow\dashrightarrow\dbkarow}} +\__umi_define_char{⤐}{\__umi_alternatives\drbkarrow\drbkarow} \__umi_define_char{⤑}{\rightdotarrow} \__umi_define_char{⤒}{\baruparrow} \__umi_define_char{⤓}{\downarrowbar} @@ -912,8 +912,8 @@ \__umi_define_char{⤢}{\neswarrow} \__umi_define_char{⤣}{\hknwarrow} \__umi_define_char{⤤}{\hknearrow} -\__umi_define_char{⤥}{\hksearrow} -\__umi_define_char{⤦}{\hkswarrow} +\__umi_define_char{⤥}{\__umi_alternatives\hksearrow\hksearow} +\__umi_define_char{⤦}{\__umi_alternatives\hkswarrow\hkswarow} \__umi_define_char{⤧}{\tona} \__umi_define_char{⤨}{\toea} \__umi_define_char{⤩}{\tosa} @@ -1351,7 +1351,7 @@ \__umi_define_char{⫙}{\forkv} \__umi_define_char{⫚}{\topfork} \__umi_define_char{⫛}{\mlcp} -\__umi_define_char{⫝̸}{\forks} +\__umi_define_char{⫝̸}{\__umi_alternatives\forks\nforksnot} \__umi_define_char{⫝}{\forksnot} \__umi_define_char{⫞}{\shortlefttack} \__umi_define_char{⫟}{\shortdowntack} |