diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/lwarp/lwarp-common-mathjax-nonunicode.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/lwarp/lwarp-common-mathjax-nonunicode.sty | 114 |
1 files changed, 84 insertions, 30 deletions
diff --git a/Master/texmf-dist/tex/latex/lwarp/lwarp-common-mathjax-nonunicode.sty b/Master/texmf-dist/tex/latex/lwarp/lwarp-common-mathjax-nonunicode.sty index 299b3e86a53..801f1fdc5d5 100644 --- a/Master/texmf-dist/tex/latex/lwarp/lwarp-common-mathjax-nonunicode.sty +++ b/Master/texmf-dist/tex/latex/lwarp/lwarp-common-mathjax-nonunicode.sty @@ -36,31 +36,71 @@ \CustomizeMathJax{\newcommand{\Longmmappedfrom}{\mathrel{\unicode{x027FD}}}} \CustomizeMathJax{\let\Mmapsfrom\Mmappedfrom}% from kpfonts-otf \CustomizeMathJax{\let\Longmmapsfrom\Longmmappedfrom}% from kpfonts-otf -\CustomizeMathJax{\newcommand{\boxright}{\mathrel{\unicode{x025A1}\!\unicode{x02192}}}} -\CustomizeMathJax{\newcommand{\boxleft}{\mathrel{\unicode{x02190}\!\unicode{x025A1}}}} -\CustomizeMathJax{\newcommand{\boxdotright}{\mathrel{\unicode{x022A1}\!\unicode{x02192}}}} -\CustomizeMathJax{\newcommand{\boxdotleft}{\mathrel{\unicode{x02190}\!\unicode{x022A1}}}} - -\CustomizeMathJax{\newcommand{\Diamondright}{\mathrel{\unicode{x025C7}\!\unicode{x02192}}}} -\CustomizeMathJax{\newcommand{\Diamondleft}{\mathrel{\unicode{x02190}\!\unicode{x025C7}}}} -\CustomizeMathJax{\newcommand{\Diamonddotright}{\mathrel{\unicode{x027D0}\!\unicode{x02192}}}} -\CustomizeMathJax{\newcommand{\Diamonddotleft}{\mathrel{\unicode{x02190}\!\unicode{x027D0}}}} - -\CustomizeMathJax{\newcommand{\boxRight}{\mathrel{\unicode{x025A1}\!\unicode{x021D2}}}} -\CustomizeMathJax{\newcommand{\boxLeft}{\mathrel{\unicode{x021D0}\!\unicode{x025A1}}}} -\CustomizeMathJax{\newcommand{\boxdotRight}{\mathrel{\unicode{x022A1}\!\unicode{x021D2}}}} -\CustomizeMathJax{\newcommand{\boxdotLeft}{\mathrel{\unicode{x021D0}\!\unicode{x022A1}}}} - -\CustomizeMathJax{\newcommand{\DiamondRight}{\mathrel{\unicode{x025C7}\!\unicode{x021D2}}}} -\CustomizeMathJax{\newcommand{\DiamondLeft}{\mathrel{\unicode{x021D0}\!\unicode{x025C7}}}} -\CustomizeMathJax{\newcommand{\DiamonddotRight}{\mathrel{\unicode{x027D0}\!\unicode{x021D2}}}} -\CustomizeMathJax{\newcommand{\DiamonddotLeft}{\mathrel{\unicode{x021D0}\!\unicode{x027D0}}}} +\CustomizeMathJax{\newcommand{\boxright}{% + \mathrel{\unicode{x025A1}\!\unicode{x02192}}% +}} +\CustomizeMathJax{\newcommand{\boxleft}{% + \mathrel{\unicode{x02190}\!\unicode{x025A1}}% +}} +\CustomizeMathJax{\newcommand{\boxdotright}{% + \mathrel{\unicode{x022A1}\!\unicode{x02192}}% +}} +\CustomizeMathJax{\newcommand{\boxdotleft}{% + \mathrel{\unicode{x02190}\!\unicode{x022A1}}% +}} + +\CustomizeMathJax{\newcommand{\Diamondright}{% + \mathrel{\unicode{x025C7}\!\unicode{x02192}}% +}} +\CustomizeMathJax{\newcommand{\Diamondleft}{% + \mathrel{\unicode{x02190}\!\unicode{x025C7}}% +}} +\CustomizeMathJax{\newcommand{\Diamonddotright}{% + \mathrel{\unicode{x027D0}\!\unicode{x02192}}% +}} +\CustomizeMathJax{\newcommand{\Diamonddotleft}{% + \mathrel{\unicode{x02190}\!\unicode{x027D0}}% +}} + +\CustomizeMathJax{\newcommand{\boxRight}{% + \mathrel{\unicode{x025A1}\!\unicode{x021D2}}% +}} +\CustomizeMathJax{\newcommand{\boxLeft}{% + \mathrel{\unicode{x021D0}\!\unicode{x025A1}}% +}} +\CustomizeMathJax{\newcommand{\boxdotRight}{% + \mathrel{\unicode{x022A1}\!\unicode{x021D2}}% +}} +\CustomizeMathJax{\newcommand{\boxdotLeft}{% + \mathrel{\unicode{x021D0}\!\unicode{x022A1}}% +}} + +\CustomizeMathJax{\newcommand{\DiamondRight}{% + \mathrel{\unicode{x025C7}\!\unicode{x021D2}}% +}} +\CustomizeMathJax{\newcommand{\DiamondLeft}{% + \mathrel{\unicode{x021D0}\!\unicode{x025C7}}% +}} +\CustomizeMathJax{\newcommand{\DiamonddotRight}{% + \mathrel{\unicode{x027D0}\!\unicode{x021D2}}% +}} +\CustomizeMathJax{\newcommand{\DiamonddotLeft}{% + \mathrel{\unicode{x021D0}\!\unicode{x027D0}}% +}} \CustomizeMathJax{\newcommand{\Diamonddot}{\mathrel{\unicode{x027D0}}}} -\CustomizeMathJax{\newcommand{\circleright}{\mathrel{\unicode{x025CB}\!\unicode{x02192}}}} -\CustomizeMathJax{\newcommand{\circleleft}{\mathrel{\unicode{x02190}\!\unicode{x025CB}}}} -\CustomizeMathJax{\newcommand{\circledotright}{\mathrel{\unicode{x02299}\!\unicode{x02192}}}} -\CustomizeMathJax{\newcommand{\circledotleft}{\mathrel{\unicode{x02190}\!\unicode{x02299}}}} +\CustomizeMathJax{\newcommand{\circleright}{% + \mathrel{\unicode{x025CB}\!\unicode{x02192}}% +}} +\CustomizeMathJax{\newcommand{\circleleft}{% + \mathrel{\unicode{x02190}\!\unicode{x025CB}}% +}} +\CustomizeMathJax{\newcommand{\circledotright}{% + \mathrel{\unicode{x02299}\!\unicode{x02192}}% +}} +\CustomizeMathJax{\newcommand{\circledotleft}{% + \mathrel{\unicode{x02190}\!\unicode{x02299}}% +}} \CustomizeMathJax{\let\circleddotright\circledotright} \CustomizeMathJax{\let\circleddotleft\circledotleft} @@ -68,7 +108,9 @@ \CustomizeMathJax{\newcommand{\multimapboth}{\mathrel{\unicode{x029DF}}}} \CustomizeMathJax{\newcommand{\multimapdot}{{\mathrel{-\!\bullet}}}} \CustomizeMathJax{\newcommand{\multimapdotinv}{\mathrel{\bullet\!-}}} -\CustomizeMathJax{\newcommand{\multimapdotboth}{\mathrel{{\bullet\!\!-\!\!\bullet}}}} +\CustomizeMathJax{\newcommand{\multimapdotboth}{% + \mathrel{{\bullet\!\!-\!\!\bullet}}% +}} \CustomizeMathJax{\newcommand{\multimapdotbothA}{\mathrel{\unicode{x022B6}}}} \CustomizeMathJax{\newcommand{\multimapdotbothB}{\mathrel{\unicode{x22B7}}}} @@ -113,11 +155,17 @@ \CustomizeMathJax{\newcommand{\colonapprox}{\mathrel{:\approx}}} \CustomizeMathJax{\newcommand{\colonsim}{\mathrel{:\sim}}} -\CustomizeMathJax{\newcommand{\Colonapprox}{\mathrel{\unicode{x2237}\!\approx}}} +\CustomizeMathJax{\newcommand{\Colonapprox}{% + \mathrel{\unicode{x2237}\!\approx}% +}} \CustomizeMathJax{\newcommand{\Colonsim}{\mathrel{\unicode{x2237}\!\sim}}} -\CustomizeMathJax{\newcommand{\strictif}{\mathrel{\unicode{x0297D}}}}% right fish tail -\CustomizeMathJax{\newcommand{\strictfi}{\mathrel{\unicode{x0297C}}}}% left fish tail +\CustomizeMathJax{\newcommand{\strictif}{% + \mathrel{\unicode{x0297D}}% +}}% right fish tail +\CustomizeMathJax{\newcommand{\strictfi}{% + \mathrel{\unicode{x0297C}}% +}}% left fish tail \CustomizeMathJax{\newcommand{\strictiff}{% \mathrel{\unicode{x0297C}\!\!\unicode{x0297D}}% }}% left/right fish tails @@ -130,8 +178,12 @@ }} \CustomizeMathJax{\newcommand{\circledbar}{\mathbin{\unicode{x029B6}}}} -\CustomizeMathJax{\newcommand{\openJoin}{\mathrel{\unicode{x2AA4}}}}% overlapping >< -\CustomizeMathJax{\newcommand{\opentimes}{\mathrel{\unicode{x2AA4}}}}% overlapping >< +\CustomizeMathJax{\newcommand{\openJoin}{% + \mathrel{\unicode{x2AA4}}% +}}% overlapping >< +\CustomizeMathJax{\newcommand{\opentimes}{% + \mathrel{\unicode{x2AA4}}% +}}% overlapping >< \CustomizeMathJax{\newcommand{\VvDash}{\mathrel{\unicode{x22AA}}}} @@ -141,7 +193,9 @@ \CustomizeMathJax{\newcommand{\lambdaslash}{\mathord{\unicode{x019B}}}} -\CustomizeMathJax{\newcommand{\Wr}{\mathbin{\unicode{x02240}\!\unicode{x02240}}}} +\CustomizeMathJax{\newcommand{\Wr}{% + \mathbin{\unicode{x02240}\!\unicode{x02240}}% +}} \CustomizeMathJax{\newcommand{\dashleftrightarrow}{% \mathrel{\unicode{x021E0}\!\unicode{x021E2}}% |