deletions | additions       diff --git a/Rules.tex b/Rules.tex  index b4cd563..8308c23 100644  --- a/Rules.tex  +++ b/Rules.tex 
...
\newcommand{\F}[0]{\mbb{\bot}}  \newcommand{\rule}[1]{\ (\mbb{§#1})}  \section{Rules}  \begin{equation}  \begin{split}  \wp{x :=e}{R} &= R[x \mapsto e] && \rule{1}\\