\newcommand{\empty}{\varnothing} \newcommand{\wp}[2]{wp\left(#1, #2\right)} \newcommand{\if}[2]{if\left(#1\right) \ \{ #2 \}} \newcommand{\else}[1]{else \ \{ #1 \}} \newcommand{\ie}[3]{\if{#1}{#2} \ \else{#3}} \newcommand{\a}[0]{\ \land \ } \newcommand{\mtt}[1]{\text{#1}} \newcommand{\mbb}[1]{\mathbf{#1}} \newcommand{\T}[0]{\mbb{\top}} \newcommand{\F}[0]{\mbb{\bot}} \newcommand{\rule}[1]{\ (\mbb{§#1})} \documentclass{article} \usepackage{amsfonts,amsmath,amssymb} \usepackage{graphicx} \usepackage{color} \usepackage{url} \bibliographystyle{plain}