summaryrefslogtreecommitdiffstats
path: root/final
diff options
context:
space:
mode:
Diffstat (limited to 'final')
-rw-r--r--final/main.tex3
1 files changed, 2 insertions, 1 deletions
diff --git a/final/main.tex b/final/main.tex
index dae0503..f5ad43f 100644
--- a/final/main.tex
+++ b/final/main.tex
@@ -207,6 +207,7 @@ We can now formally describe the candidate mechanism.
\end{minipage}
}
\end{center}
+
where we use the notation $\I[\text{expression}]$ to denote the indicator
variable for the expression, which takes on value 1 when the expression is true and 0 otherwise.
@@ -239,6 +240,6 @@ Lemma.
\end{lemma}
-\bibliographystyle{abbr}
+\bibliographystyle{abbrvnat}
\bibliography{main}
\end{document}