diff options
author | Hans Hagen <pragma@wxs.nl> | 2020-10-31 00:09:22 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-10-31 00:09:22 +0100 |
commit | 7043cd3b7046f6a11112a5d49c4ae5e2dc0c6896 (patch) | |
tree | 92ffcd258fb29e37b4a136eb071fbfd0717be29e /tex/context/base/mkiv/math-fen.mkiv | |
parent | a0270f13065d116355a953c6f246cbba26289fc2 (diff) | |
download | context-7043cd3b7046f6a11112a5d49c4ae5e2dc0c6896.tar.gz |
2020-10-30 22:27:00
Diffstat (limited to 'tex/context/base/mkiv/math-fen.mkiv')
-rw-r--r-- | tex/context/base/mkiv/math-fen.mkiv | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tex/context/base/mkiv/math-fen.mkiv b/tex/context/base/mkiv/math-fen.mkiv index 246ff989d..d7c67b7e3 100644 --- a/tex/context/base/mkiv/math-fen.mkiv +++ b/tex/context/base/mkiv/math-fen.mkiv @@ -335,6 +335,8 @@ %D A bonus: +\pushoverloadmode + \unexpanded\def\Lparenthesis {\math_fenced_fenced_start{parenthesis}} \unexpanded\def\Rparenthesis {\math_fenced_fenced_stop {parenthesis}} \unexpanded\def\Lbracket {\math_fenced_fenced_start{bracket}} \unexpanded\def\Rbracket {\math_fenced_fenced_stop {bracket}} \unexpanded\def\Lbrace {\math_fenced_fenced_start{brace}} \unexpanded\def\Rbrace {\math_fenced_fenced_stop {brace}} @@ -394,14 +396,20 @@ % \left| \frac{1}{e} \right| % \stopformula +\popoverloadmode + \installcorenamespace{mathleft} \installcorenamespace{mathright} \installcorenamespace{mathmiddle} +\pushoverloadmode + \unexpanded\def\left {\afterassignment\math_left \let\nexttoken} \unexpanded\def\right {\afterassignment\math_right \let\nexttoken} \unexpanded\def\middle{\afterassignment\math_middle\let\nexttoken} +\popoverloadmode + \let\leftorright\relax \newconditional\c_math_fenced_done @@ -565,6 +573,8 @@ % The names in char-def.lua (historic mess): +\pushoverloadmode + \let\lbrack \lbracket \let\rbrack \rbracket \let\lceiling \lceil @@ -634,6 +644,8 @@ \installmathfencepair \< \Langle \> \Rangle \installmathfencepair \| \Lbar \| \Rbar +\popoverloadmode + %D As we have overloaded \type {\left} and \type {\right} we also need a more %D clever version of the following: |