From ffedfecd0ecbfb00ea2e1f6bc0b9a9a2e290124c Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 31 Aug 2019 02:55:55 +0100
Subject: [PATCH] wrestlers.tex: Mention my slightly unusual cardinality
 notation.

---
 wrestlers.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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}
 
-- 
2.11.0