diff options
Diffstat (limited to 'test/phase5/exact-datatype.tex')
| -rw-r--r-- | test/phase5/exact-datatype.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/phase5/exact-datatype.tex b/test/phase5/exact-datatype.tex index 515638f..1f856e1 100644 --- a/test/phase5/exact-datatype.tex +++ b/test/phase5/exact-datatype.tex @@ -2,7 +2,7 @@ Define $\phasefivedata$ inductively as follows. \begin{enumerate} \item $\phasefivezero \in \phasefivedata$. - \item $\phasefiveatom{n} \in \phasefivedata$ for $n \in \unions{\emptyset}$. + \item $\phasefiveatom{n} \in \phasefivedata$ for $n \in \{\emptyset\}$. \item $\phasefivejoin{x}{y} \in \phasefivedata$ for $x \in \phasefivedata$ and $y \in \phasefivedata$. \end{enumerate} \end{datatype} |