commit 0de417bc57c073a090396447b5dfcdf4f6809ae9
parent f296c00014594b461d440db112809821807d5f12
Author: robert <robertrussell.72001@gmail.com>
Date: Mon, 24 Jan 2022 19:58:45 -0800
Comment out some math stuff
To be considered and added in when the need arises.
Diffstat:
| M | math.tex | | | 208 | +++++++++++++++++++++++++++++++++++++++++-------------------------------------- |
1 file changed, 108 insertions(+), 100 deletions(-)
diff --git a/math.tex b/math.tex
@@ -1,26 +1,27 @@
% TODO: most things here copied from plain; need to sort thru
-\let\lnot=\neg
+\input mathenc
+
+\def\lnot{\neg}
+\def\land{\wedge}
+\def\lor{\vee}
+
\def\int{\intop\nolimits}
\def\oint{\ointop\nolimits}
-\let\land=\wedge
-\let\lor=\vee
-\def\neq{\not=} \let\ne=\neq
-\let\le=\leq
-\let\ge=\geq
-\let\owns=\ni
-\let\gets=\leftarrow
-\let\to=\rightarrow
+
+\def\neq{\not=}
+\def\ne{\neq}
+\def\le{\leq}
+\def\ge{\geq}
+
+\def\to{\rightarrow}
\def\mapsto{\mapstochar\rightarrow}
-\let\|=\Vert
-\let\>=\rangle
-\let\<=\langle
-\let\}=\rbrace
-\let\{=\lbrace
-\let\rc=\rceil
-\let\lc=\lceil
-\let\rf=\rfloor
-\let\lr=\lfoor
+
+\def\|{\Vert}
+\def\<{\langle} \def\>{\rangle}
+\def\{{\lbrace} \def\}{\rbrace}
+\def\lc{\lceil} \def\rc{\rceil}
+\def\lr{\lfoor} \def\rf{\rfloor}
\def\joinrel{\mathrel{\mkern-3mu}}
\def\relbar{\mathrel{\smash-}} % \smash, because - has the same height as +
@@ -40,25 +41,32 @@
\def\ldots{\mathinner{\ldotp\ldotp\ldotp}}
\def\cdots{\mathinner{\cdotp\cdotp\cdotp}}
-\def\vdots{\vbox{\baselineskip4\p@ \lineskiplimit\z@
- \kern6\p@\hbox{.}\hbox{.}\hbox{.}}}
-\def\ddots{\mathinner{\mkern1mu\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern2mu
- \raise4\p@\hbox{.}\mkern2mu\raise\p@\hbox{.}\mkern1mu}}
-
-\def\overrightarrow#1{\vbox{\m@th\ialign{##\crcr
- \rightarrowfill\crcr\noalign{\kern-\p@\nointerlineskip}
- $\hfil\displaystyle{#1}\hfil$\crcr}}}
-\def\overleftarrow#1{\vbox{\m@th\ialign{##\crcr
- \leftarrowfill\crcr\noalign{\kern-\p@\nointerlineskip}
- $\hfil\displaystyle{#1}\hfil$\crcr}}}
-\def\overbrace#1{\mathop{\vbox{\m@th\ialign{##\crcr\noalign{\kern3\p@}
- \downbracefill\crcr\noalign{\kern3\p@\nointerlineskip}
- $\hfil\displaystyle{#1}\hfil$\crcr}}}\limits}
-\def\underbrace#1{\mathop{\vtop{\m@th\ialign{##\crcr
- $\hfil\displaystyle{#1}\hfil$\crcr\noalign{\kern3\p@\nointerlineskip}
- \upbracefill\crcr\noalign{\kern3\p@}}}}\limits}
-\def\skew#1#2#3{{\muskip\z@#1mu\divide\muskip\z@\tw@ \mkern\muskip\z@
- #2{\mkern-\muskip\z@{#3}\mkern\muskip\z@}\mkern-\muskip\z@}{}}
+\def\vdots{\vbox{%
+ \baselineskip=4pt \lineskiplimit=0pt
+ \kern6pt \hbox{.}\hbox{.}\hbox{.}%
+}}
+\def\ddots{\mathinner{%
+ \mkern1mu
+ \raise7pt\vbox{\kern7pt\hbox{.}}%
+ \mkern2mu
+ \raise4pt\hbox{.}%
+ \mkern2mu
+ \raise1pt\hbox{.}%
+ \mkern1mu
+}}
+
+% \def\overrightarrow#1{\vbox{\m@th\ialign{##\crcr
+ % \rightarrowfill\crcr\noalign{\kern-\p@\nointerlineskip}
+ % $\hfil\displaystyle{#1}\hfil$\crcr}}}
+% \def\overleftarrow#1{\vbox{\m@th\ialign{##\crcr
+ % \leftarrowfill\crcr\noalign{\kern-\p@\nointerlineskip}
+ % $\hfil\displaystyle{#1}\hfil$\crcr}}}
+% \def\overbrace#1{\mathop{\vbox{\m@th\ialign{##\crcr\noalign{\kern3\p@}
+ % \downbracefill\crcr\noalign{\kern3\p@\nointerlineskip}
+ % $\hfil\displaystyle{#1}\hfil$\crcr}}}\limits}
+% \def\underbrace#1{\mathop{\vtop{\m@th\ialign{##\crcr
+ % $\hfil\displaystyle{#1}\hfil$\crcr\noalign{\kern3\p@\nointerlineskip}
+ % \upbracefill\crcr\noalign{\kern3\p@}}}}\limits}
% Primes (with nice syntax)
% TODO: simplify with \isnextchar<char>{true}{false} macro; see optex
@@ -105,17 +113,17 @@
\def\brack{\atopwithdelims[]}
\def\brace{\atopwithdelims\{\}}
-\def\cong{\mathrel{\mathpalette\@vereq\sim}} % congruence sign
-\def\@vereq#1#2{\lower.5\p@\vbox{\lineskiplimit\maxdimen\lineskip-.5\p@
- \ialign{$\m@th#1\hfil##\hfil$\crcr#2\crcr=\crcr}}}
-\def\notin{\mathrel{\mathpalette\c@ncel\in}}
-\def\c@ncel#1#2{\m@th\ooalign{$\hfil#1\mkern1mu/\hfil$\crcr$#1#2$}}
-\def\rightleftharpoons{\mathrel{\mathpalette\rlh@{}}}
-\def\rlh@#1{\vcenter{\m@th\hbox{\ooalign{\raise2pt
- \hbox{$#1\rightharpoonup$}\crcr
- $#1\leftharpoondown$}}}}
-\def\buildrel#1\over#2{\mathrel{\mathop{\kern\z@#2}\limits^{#1}}}
-\def\doteq{\buildrel\textstyle.\over=}
+% \def\cong{\mathrel{\mathpalette\@vereq\sim}}
+% \def\@vereq#1#2{\lower.5\p@\vbox{\lineskiplimit\maxdimen\lineskip-.5\p@
+ % \ialign{$\m@th#1\hfil##\hfil$\crcr#2\crcr=\crcr}}}
+% \def\notin{\mathrel{\mathpalette\c@ncel\in}}
+% \def\c@ncel#1#2{\m@th\ooalign{$\hfil#1\mkern1mu/\hfil$\crcr$#1#2$}}
+% \def\rightleftharpoons{\mathrel{\mathpalette\rlh@{}}}
+% \def\rlh@#1{\vcenter{\m@th\hbox{\ooalign{\raise2pt
+ % \hbox{$#1\rightharpoonup$}\crcr
+ % $#1\leftharpoondown$}}}}
+% \def\buildrel#1\over#2{\mathrel{\mathop{\kern\z@#2}\limits^{#1}}}
+% \def\doteq{\buildrel\textstyle.\over=}
% XXX hard-coded \rm; should be font specific to operators
\def\log{\mathop{\rm log}\nolimits}
@@ -151,57 +159,57 @@
\def\gcd{\mathop{\rm gcd}}
\def\deg{\mathop{\rm deg}\nolimits}
-\def\bmod{\nonscript\mskip-\medmuskip\mkern5mu
- \mathbin{\rm mod}\penalty900\mkern5mu\nonscript\mskip-\medmuskip}
-\def\pmod#1{\allowbreak\mkern18mu({\rm mod}\,\,#1)}
-
-\def\cases#1{\left\{\,\vcenter{\normalbaselines\m@th
- \ialign{$##\hfil$&\quad##\hfil\crcr#1\crcr}}\right.}
-\def\matrix#1{\null\,\vcenter{\normalbaselines\m@th
- \ialign{\hfil$##$\hfil&&\quad\hfil$##$\hfil\crcr
- \mathstrut\crcr\noalign{\kern-\baselineskip}
- #1\crcr\mathstrut\crcr\noalign{\kern-\baselineskip}}}\,}
-\def\pmatrix#1{\left(\matrix{#1}\right)}
-\newdimen\p@renwd
-\setbox0=\hbox{\tenex B} \p@renwd=\wd0 % width of the big left (
-\def\bordermatrix#1{\begingroup \m@th
- \setbox\z@\vbox{\def\cr{\crcr\noalign{\kern2\p@\global\let\cr\endline}}%
- \ialign{$##$\hfil\kern2\p@\kern\p@renwd&\thinspace\hfil$##$\hfil
- &&\quad\hfil$##$\hfil\crcr
- \omit\strut\hfil\crcr\noalign{\kern-\baselineskip}%
- #1\crcr\omit\strut\cr}}%
- \setbox\tw@\vbox{\unvcopy\z@\global\setbox\@ne\lastbox}%
- \setbox\tw@\hbox{\unhbox\@ne\unskip\global\setbox\@ne\lastbox}%
- \setbox\tw@\hbox{$\kern\wd\@ne\kern-\p@renwd\left(\kern-\wd\@ne
- \global\setbox\@ne\vbox{\box\@ne\kern2\p@}%
- \vcenter{\kern-\ht\@ne\unvbox\z@\kern-\baselineskip}\,\right)$}%
- \null\;\vbox{\kern\ht\@ne\box\tw@}\endgroup}
-
-\def\openup{\afterassignment\@penup\dimen@=}
-\def\@penup{\advance\lineskip\dimen@
- \advance\baselineskip\dimen@
- \advance\lineskiplimit\dimen@}
-\def\eqalign#1{\null\,\vcenter{\openup\jot\m@th
- \ialign{\strut\hfil$\displaystyle{##}$&$\displaystyle{{}##}$\hfil
- \crcr#1\crcr}}\,}
-\newif\ifdt@p
-\def\displ@y{\global\dt@ptrue\openup\jot\m@th
- \everycr{\noalign{\ifdt@p \global\dt@pfalse \ifdim\prevdepth>-1000\p@
- \vskip-\lineskiplimit \vskip\normallineskiplimit \fi
- \else \penalty\interdisplaylinepenalty \fi}}}
-\def\@lign{\tabskip\z@skip\everycr{}} % restore inside \displ@y
-\def\displaylines#1{\displ@y \tabskip\z@skip
- \halign{\hbox to\displaywidth{$\@lign\hfil\displaystyle##\hfil$}\crcr
- #1\crcr}}
-\def\eqalignno#1{\displ@y \tabskip\centering
- \halign to\displaywidth{\hfil$\@lign\displaystyle{##}$\tabskip\z@skip
- &$\@lign\displaystyle{{}##}$\hfil\tabskip\centering
- &\llap{$\@lign##$}\tabskip\z@skip\crcr
- #1\crcr}}
-\def\leqalignno#1{\displ@y \tabskip\centering
- \halign to\displaywidth{\hfil$\@lign\displaystyle{##}$\tabskip\z@skip
- &$\@lign\displaystyle{{}##}$\hfil\tabskip\centering
- &\kern-\displaywidth\rlap{$\@lign##$}\tabskip\displaywidth\crcr
- #1\crcr}}
+% \def\bmod{\nonscript\mskip-\medmuskip\mkern5mu
+ % \mathbin{\rm mod}\penalty900\mkern5mu\nonscript\mskip-\medmuskip}
+% \def\pmod#1{\allowbreak\mkern18mu({\rm mod}\,\,#1)}
+
+% \def\cases#1{\left\{\,\vcenter{\normalbaselines\m@th
+ % \ialign{$##\hfil$&\quad##\hfil\crcr#1\crcr}}\right.}
+% \def\matrix#1{\null\,\vcenter{\normalbaselines\m@th
+ % \ialign{\hfil$##$\hfil&&\quad\hfil$##$\hfil\crcr
+ % \mathstrut\crcr\noalign{\kern-\baselineskip}
+ % #1\crcr\mathstrut\crcr\noalign{\kern-\baselineskip}}}\,}
+% \def\pmatrix#1{\left(\matrix{#1}\right)}
+% \newdimen\p@renwd
+% \setbox0=\hbox{\tenex B} \p@renwd=\wd0 % width of the big left (
+% \def\bordermatrix#1{\begingroup \m@th
+ % \setbox\z@\vbox{\def\cr{\crcr\noalign{\kern2\p@\global\let\cr\endline}}%
+ % \ialign{$##$\hfil\kern2\p@\kern\p@renwd&\thinspace\hfil$##$\hfil
+ % &&\quad\hfil$##$\hfil\crcr
+ % \omit\strut\hfil\crcr\noalign{\kern-\baselineskip}%
+ % #1\crcr\omit\strut\cr}}%
+ % \setbox\tw@\vbox{\unvcopy\z@\global\setbox\@ne\lastbox}%
+ % \setbox\tw@\hbox{\unhbox\@ne\unskip\global\setbox\@ne\lastbox}%
+ % \setbox\tw@\hbox{$\kern\wd\@ne\kern-\p@renwd\left(\kern-\wd\@ne
+ % \global\setbox\@ne\vbox{\box\@ne\kern2\p@}%
+ % \vcenter{\kern-\ht\@ne\unvbox\z@\kern-\baselineskip}\,\right)$}%
+ % \null\;\vbox{\kern\ht\@ne\box\tw@}\endgroup}
+
+% \def\openup{\afterassignment\@penup\dimen@=}
+% \def\@penup{\advance\lineskip\dimen@
+ % \advance\baselineskip\dimen@
+ % \advance\lineskiplimit\dimen@}
+% \def\eqalign#1{\null\,\vcenter{\openup\jot\m@th
+ % \ialign{\strut\hfil$\displaystyle{##}$&$\displaystyle{{}##}$\hfil
+ % \crcr#1\crcr}}\,}
+% \newif\ifdt@p
+% \def\displ@y{\global\dt@ptrue\openup\jot\m@th
+ % \everycr{\noalign{\ifdt@p \global\dt@pfalse \ifdim\prevdepth>-1000\p@
+ % \vskip-\lineskiplimit \vskip\normallineskiplimit \fi
+ % \else \penalty\interdisplaylinepenalty \fi}}}
+% \def\@lign{\tabskip\z@skip\everycr{}} % restore inside \displ@y
+% \def\displaylines#1{\displ@y \tabskip\z@skip
+ % \halign{\hbox to\displaywidth{$\@lign\hfil\displaystyle##\hfil$}\crcr
+ % #1\crcr}}
+% \def\eqalignno#1{\displ@y \tabskip\centering
+ % \halign to\displaywidth{\hfil$\@lign\displaystyle{##}$\tabskip\z@skip
+ % &$\@lign\displaystyle{{}##}$\hfil\tabskip\centering
+ % &\llap{$\@lign##$}\tabskip\z@skip\crcr
+ % #1\crcr}}
+% \def\leqalignno#1{\displ@y \tabskip\centering
+ % \halign to\displaywidth{\hfil$\@lign\displaystyle{##}$\tabskip\z@skip
+ % &$\@lign\displaystyle{{}##}$\hfil\tabskip\centering
+ % &\kern-\displaywidth\rlap{$\@lign##$}\tabskip\displaywidth\crcr
+ % #1\crcr}}
\endinput
