employer
/
tame
1
0
Fork 0
Code Packages Releases Activity

design/tpl: Remove \exists from classification definitions 

The previously-existing notation for this has been removed.  These will be
updated soon to account for vectors and matrices, but until then, this is
simply nonsense.
master
Mike Gerwitz 2021-05-11 13:28:02 -04:00
parent d49133e8e9
commit 7735ba1f29
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
design/tpl/sec/class.tex
View File

@ -88,7 +88,7 @@ is equivalent to the proposition
&\quad M_n \\
&\xml{</classify>}
&&\equiv c\in\Bool \\
& &&\equiv \exists\left( M_0 \logand \ldots \logand M_n \right).
& &&\equiv M_0 \logand \ldots \logand M_n.
\end{alignat*}
\end{definition}
@ -112,7 +112,7 @@ is equivalent to the proposition
&\quad M_n \\
&\texttt{</classify>}
&&\equiv d\in\Bool \\
& &&\equiv \exists\left( M_0 \logor \ldots \logor M_n \right).
& &&\equiv M_0 \logor \ldots \logor M_n.
\end{alignat*}
\end{definition}