diff --git a/macros.tex b/macros.tex
index 93889e6..42d48e7 100644
--- a/macros.tex
+++ b/macros.tex
@@ -13,6 +13,7 @@
 \newcommand{\NP}{\textsf{NP}\xspace}
 \newcommand{\redto}{\ensuremath{\preceq_P}}
 %% Primitives
+\newcommand{\ZK}{\textsf{ZK}\xspace}
 \newcommand{\NIZK}{\textsf{NIZK}\xspace}
 \newcommand{\PKE}{\textsf{PKE}\xspace}
 
@@ -26,11 +27,13 @@
 \newcommand{\LWE}{\textsf{LWE}\xspace}
 \newcommand{\SIVP}{\ensuremath{\textsf{SIVP}_\gamma}\xspace}
 %% Models
-\newcommand{\UC}{\textrm{UC}\xspace}
+\newcommand{\UC}{\textsf{UC}\xspace}
 \newcommand{\ROM}{\textsf{ROM}\xspace}
 %% Experience/Games
 \newcommand{\Exp}[2]{\ensuremath{\mathsf{Exp}^{#1}_{#2}}\xspace}
 \newcommand{\advantage}[2]{\ensuremath{\mathrm{Advt}^{#1}_{#2}}\xspace}
+\newcommand{\oracle}[2]{\ensuremath{\mathcal O^{\,\mathsf{#1}(\,#2\,)}_{}}\xspace}
+\newcommand{\ensemble}[1]{\ensuremath{\mathcal S_{\mathsf{#1}}^{}}\xspace}
 
 
 
@@ -52,6 +55,6 @@
 %% Pairings
 \newcommand{\Zp}{\xspace\ensuremath{\mathbb{Z}_p}\xspace}
 \newcommand{\GG}{\xspace\ensuremath{\mathbb{G}}\xspace}
-\newcommand{\Gh}{\xspace\ensuremath{\hat{\mathbb{G}}}\xspace}
+\newcommand{\Gh}{\xspace\ensuremath{\widehat{\mathbb{G}}}\xspace}
 \newcommand{\GT}{\xspace\ensuremath{\mathbb{G}_T}\xspace}
 \newcommand{\atob}[2]{\xspace\ensuremath{\{#1,\ldots,\#2\}}}