~mdw
/
doc
/
wrestlers
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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}
\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}
\prelimsec{Groups}