~mdw
/
doc
/
wrestlers
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
c51900e
)
wrestlers.tex: Mention my slightly unusual cardinality notation.
author
Mark Wooding
<mdw@distorted.org.uk>
Sat, 31 Aug 2019 01:55:55 +0000
(
02:55
+0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Sat, 31 Aug 2019 01:55:55 +0000
(
02:55
+0100)
wrestlers.tex
patch
|
blob
|
blame
|
history
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}