From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 31 Aug 2019 01:55:55 +0000 (+0100)
Subject: wrestlers.tex: Mention my slightly unusual cardinality notation.
X-Git-Url: https://git.distorted.org.uk/~mdw/doc/wrestlers/commitdiff_plain/ffedfecd0ecbfb00ea2e1f6bc0b9a9a2e290124c

wrestlers.tex: Mention my slightly unusual cardinality notation.
---

diff --git a/wrestlers.tex b/wrestlers.tex
index a437cd2..10d363d 100644
--- 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}