deletions | additions       diff --git a/Ex 1.tex b/Ex 1.tex  index 509aa50..98313cf 100644  --- a/Ex 1.tex  +++ b/Ex 1.tex 
...
\newcommand{\F}[0]{\mbb{\bot}}  \newcommand{\rule}[1]{\ (\mbb{§#1})}  \section{Ex1}  Given:  \begin{equation}  \begin{split}