diff options
Diffstat (limited to 'test/phase5/exact-quantified-term-valued.tex')
| -rw-r--r-- | test/phase5/exact-quantified-term-valued.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/phase5/exact-quantified-term-valued.tex b/test/phase5/exact-quantified-term-valued.tex new file mode 100644 index 0000000..8a841f5 --- /dev/null +++ b/test/phase5/exact-quantified-term-valued.tex @@ -0,0 +1,3 @@ +\begin{abbreviation}\label{phase5_invalid_quantified_value} + The phase five invalid quantified value of $A$ is every set. +\end{abbreviation} |