diff -r 0a4be67ea7f8 -r f2e0d031a395 prio/Paper/document/root.tex
--- a/prio/Paper/document/root.tex	Sat Feb 11 19:39:50 2012 +0000
+++ b/prio/Paper/document/root.tex	Sun Feb 12 04:45:20 2012 +0000
@@ -31,12 +31,11 @@
 \renewcommand{\isasymequiv}{$\dn$}
 \renewcommand{\isasymemptyset}{$\varnothing$}
 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
-
-\newcommand{\isasymcalL}{\ensuremath{\cal{L}}}
-\newcommand{\isasymbigplus}{\ensuremath{\bigplus}}
 \renewcommand{\isasymiota}{}
 
-\newcommand{\bigplus}{\mbox{\Large\bf$+$}}
+\newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}}
+
+
 \begin{document}
 
 \title{Priority Inheritance Protocol Proved Correct}