summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/context/base/math-ext.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/context/base/math-ext.tex')
-rw-r--r--Master/texmf-dist/tex/context/base/math-ext.tex21
1 files changed, 12 insertions, 9 deletions
diff --git a/Master/texmf-dist/tex/context/base/math-ext.tex b/Master/texmf-dist/tex/context/base/math-ext.tex
index 9f74ce4a9d9..177e3c8a4a9 100644
--- a/Master/texmf-dist/tex/context/base/math-ext.tex
+++ b/Master/texmf-dist/tex/context/base/math-ext.tex
@@ -132,19 +132,23 @@
\def\redefinebotharrow#1#2#3% real dirty, this overload!
{\doifdefined{#1}
- {\pushmacro\dotripleempty
- \def\dotripleempty##1[##2][##3]{\setvalue{#1}{\dotripleempty\xmtharrow[#2][##3]}}%
+ {\pushmacro\dohandlemtharrow
+ \def\dohandlemtharrow[##1][##2]{\setvalue{#1}{\dohandlemtharrow[#2][##2]}}%
+ % == \def\dohandlemtharrow[##1][##2]{\dodefinebotharrow{#1}{#2}{##2}}%
\getvalue{#1}%
- \popmacro\dotripleempty}}
+ \popmacro\dohandlemtharrow}}
\def\dodefinebotharrow#1#2#3%
- {\setvalue{#1}{\dotripleempty\xmtharrow[#2][#3]}}
+ {\setvalue{#1}{\dohandlemtharrow[#2][#3]}}
-\def\xmtharrow[#1][#2][#3]% #3 == optional arg
- {\def\doxmtharrow{\dodoxmtharrow[#1,\empty,\empty][#2,\empty,\empty][#3]}% {##1}{##2}
- \dodoublegroupempty\doxmtharrow}
+\def\dohandlemtharrow
+ {\dotripleempty\doxmtharrow}
-\def\dodoxmtharrow[#1,#2,#3][#4,#5,#6][#7]#8#9% [3] is the optional arg
+\def\doxmtharrow[#1][#2][#3]% #3 == optional arg
+ {\def\dodoxmtharrow{\dododoxmtharrow[#1,\empty,\empty][#2,\empty,\empty][#3]}% {##1}{##2}
+ \dodoublegroupempty\dodoxmtharrow}
+
+\def\dododoxmtharrow[#1,#2,#3][#4,#5,#6][#7]#8#9% [3] is the optional arg
{\edef\!!stringa{#2}%
\ifx\!!stringa\empty
\ifsecondargument
@@ -189,7 +193,6 @@
\def\leftharpoondownfill {\defaultmtharrowfill \leftharpoondown \relbar \relbar }
\def\leftharpoonupfill {\defaultmtharrowfill \leftharpoonup \relbar \relbar }
-
\def\hookleftfill {\defaultmtharrowfill \leftarrow \relbar{\relbar\joinrel\rhook}}
\def\hookrightfill{\defaultmtharrowfill{\lhook\joinrel\relbar}\relbar \rightarrow}