summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/unicode-math-input/unicode-math-input-table.tex
diff options
context:
space:
mode:
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.tex96
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}