primorial

source/primorial.en.tex

 \begin{modnl}[creators=jusche]{primorial}{en}
 \begin{definition}
   The \defi{primorial} of a \trefii[naturalnumbers]{natural}{number} $n$, denoted by
-  $n\#$, is the product of all \trefii[primenumber]{prime}{number}s less than or equal to
+  $\primorial{n}$, is the product of all \trefii[primenumber]{prime}{number}s less than or equal to
   $n$.
 \end{definition}
 \end{modnl}