mjo-misc: rename to mjo-set.

[mjotex.git] / mjo-set.tex

diff --git a/mjo-set.tex b/mjo-set.tex
new file mode 100644 (file)
index 0000000..6addd60
--- /dev/null
+++ b/mjo-set.tex
@@ -0,0 +1,18 @@
+%
+% Things that fit absolutely nowhere else.
+%
+\ifx\havemjoset\undefined
+\def\havemjoset{1}
+
+
+\ifx\operatorname\undefined
+  \usepackage{amsopn}
+\fi
+
+% The cardinality of a set. The |X| notation conflicts with the
+% absolute value, and the meaning of card(X) is clear at once, so we
+% prefer the latter.
+\newcommand*{\card}[1]{ \operatorname{card} \of{{#1}} }
+
+
+\fi