wrestlers.tex: Mention my slightly unusual cardinality notation.

[doc/wrestlers] / wrestlers.tex

diff --git a/wrestlers.tex b/wrestlers.tex
index a437cd2..10d363d 100644 (file)
--- a/wrestlers.tex
+++ b/wrestlers.tex
@@ -461,8 +461,8 @@ various theorems stated here.
 
 \prelimsec{Miscellaneous notation}
 
-We write $\Func{D}{R}$ for the set of all functions with domain $D$ and range
-$R$.
+We write $\#S$ for the cardinality of a set $S$.  We write $\Func{D}{R}$ for
+the set of all functions with domain $D$ and range $R$.
 
 \prelimsec{Groups}