summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/lwarp/lwarp-common-mathjax-nonunicode.sty
diff options
context:
space:
mode:
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.sty114
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}}%