diff --git a/src/Advanced/Definable Sets/main.tex b/src/Advanced/Definable Sets/main.tex index 2d7f09a..0e0fa77 100755 --- a/src/Advanced/Definable Sets/main.tex +++ b/src/Advanced/Definable Sets/main.tex @@ -2,7 +2,8 @@ % use [solutions] flag to show solutions. \documentclass[ solutions, - singlenumbering + singlenumbering, + shortwarning ]{../../../lib/tex/handout} \usepackage{../../../lib/tex/macros} diff --git a/src/Advanced/Definable Sets/parts/0 logic.tex b/src/Advanced/Definable Sets/parts/0 logic.tex index fb82d01..5b4754a 100644 --- a/src/Advanced/Definable Sets/parts/0 logic.tex +++ b/src/Advanced/Definable Sets/parts/0 logic.tex @@ -158,7 +158,7 @@ the same $A$ and $B$. \par \vfill \problem{} -Write an expression equivalent to $A \lor B$ using only $\lnot$, $\rightarrow$, and $()$? +Write an expression equivalent to $A \lor B$ using only $\lnot$, $\rightarrow$, and $()$. \begin{solution} $((\lnot A) \rightarrow B)$