diff options
Diffstat (limited to 'src/hyper/pages/MSET.ht')
-rw-r--r-- | src/hyper/pages/MSET.ht | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hyper/pages/MSET.ht b/src/hyper/pages/MSET.ht index 706f7515..a9340e9b 100644 --- a/src/hyper/pages/MSET.ht +++ b/src/hyper/pages/MSET.ht @@ -4,7 +4,7 @@ \newcommand{\MultisetXmpNumber}{9.53} % % ===================================================================== -\begin{page}{MultisetXmpPage}{9.53 MultiSet} +\begin{page}{MultisetXmpPage}{9.53 Multiset} % ===================================================================== \beginscroll The domain \spadtype{Multiset(R)} is similar to \spadtype{Set(R)} |