Add the \dual and \posops commands to mjo-cone.

More fiddling to get consistent spacing in proof-by-cases environments.

To get consistent paragraph spacing, the "parsep" value was set on our
pcases environment. This naturally messed up the spacing between the
case label and the following paragraph, so the "itemsep" value was
tweaked, and a custom \vspace was added to each item.

Change each proof-by-cases case to look like "Case N: conditions."

Remove the left margin from proof-by-cases and indent its paragraphs.

Add \par after the \hfill in each proof-by-cases case.

This is another attempt to fix the last two commits; the \hfill\par
seems to work better than \break or simply \hfill in that it always
puts the paragraph break there and gets the spacing right no matter
how you format the following text.

Revert "Add a \break after \hfill in the proof-by-cases."

This reverts commit 58bb9b9e4a1ee3ae509b7bd7c5aabf5c8986446e. It turns
out that with an extra line break, you can control the (line) spacing
after the case label even without the \break.

Add a \break after \hfill in the proof-by-cases.

If a case label was short and the text that followed was short, it was
possible that the text in "Case 1 (label): text" would wind up
right-aligned rather than on a new line. Adding a \break directly
after the \hfill seems to correct this.

Put each "Case ..." on its own line in the proof-by-cases environment.

Add the \directsum operator.

Spell out the --quiet option to chktex.

Add a \factorial command.

Add a "make check" target that uses chktex.

Fix all chktex warnings.

Add \cartprodthree command to avoid nesting \cartprod.

Add the Cartesian product \cartprod command.

Add ".lof" to the `make clean` target.

Add \Nn macro for cartesian products of the natural numbers.

Use cl() instead of an overline for the topological closure.

Omit the exponent "1" from product spaces.

Add \Zn, \Qn, \Rn, and \Cn macros for the standard product spaces.

Add \sqty for square-brackets-quantity to mjo-common.

Add the \boundedops macro to mjo-linear_algebra.

Update the makefile with my new sedative approach to finding a fixed point.

Add a comment about SOURCE_DATE_EPOCH to the makefile.

Update a comment with an alternate meaning of Ext().

Add some common cones to mjo-cone.

Add mjo-listing.tex for SageMath interactive prompt boxes.

Add mjo-theorem-star.tex.

Remove theorem* from mjo-theorem and be explicit about the default style.

Use missing amssymb package in mjo-cone.

Add mjo-misc and mjo-arrow files.

Use bdy(S) for the boundary of S.

Remove \adjinv from mjo-linear_algebra.

Combine some makefile variables and list all mjotex files therein.

Add \abs and \norm to mjo-linear_algebra.

Fix filenames in the makefile.

Remove the Discrete Complementarity Set (DCS) operator. It's too niche.

Use package amsopn where necessary for \operatorname.

Rename mjo-fonts, mjo-pcases, and mjo-theorems for consistency.

Use amsfonts in mjo-fonts.

Add \colvec to mjo-linear_algebra.

Add mjo-common back to the style file now that it won't duplicate.

Ship a style file that makes it easy to include "everything."

The style file is very dumb and just includes all of the files, one
after another. To avoid redefinition errors, get rid of
DeclarePairedDelimiter from mathtools and define everything ourselves.

Update the README with the "simple" instructions for documents what as
not bein published.

Rename mjo-algorithms to mjo-algorithm for consistency.

Add mjo-common to mjo-topology.

Load mjo-common in mjo-cone.

Add mathtools package to mjo-common.tex.

Initial commit of a big mess that will eventually be a library of LaTeX code.