mjo-misc: rename to mjo-set.

[mjotex.git] / mjo-misc.tex

diff --git a/mjo-misc.tex b/mjo-misc.tex
deleted file mode 100644 (file)
index 2442145..0000000
--- a/mjo-misc.tex
+++ /dev/null
@@ -1,18 +0,0 @@
-%
-% Things that fit absolutely nowhere else.
-%
-\ifx\havemjomisc\undefined
-\def\havemjomisc{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