cardinal

2019-06-16 14:33:29 +02:00
1 Parent d1ee0d8501
@@ -21,6 +21,7 @@
 \def\enstq#1#2{\left\{ #1 \ \middle|\ #2\right\}}
 \def\prive{\setminus}
 \let\vec\overrightarrow
+\DeclareMathOperator{\card}{Card}

 \AtBeginDocument{
 \let\leq\leqslant