diff --git a/macros.tex b/macros.tex
index a4834c1..5c36750 100644
--- a/macros.tex
+++ b/macros.tex
@@ -35,7 +35,7 @@
 \newcommand{\com}{\ensuremath{\mathsf{com}}\xspace}
 \newcommand{\chall}{\textsf{chall}\xspace}
 \newcommand{\rsp}{\textsf{response}\xspace}
-\newcommand{\extr}{\textsf{extract}\xspace}
+\newcommand{\extr}{\ensuremath{\mathsf{extract}}\xspace}
 \newcommand{\Commit}{\ensuremath{\mathsf{Commit}}\xspace}
 \newcommand{\Verify}{\ensuremath{\mathsf{Verify}}\xspace}
 \newcommand{\open}{\ensuremath{\mathsf{open}}\xspace}
@@ -45,6 +45,8 @@
 %%BP
 \newcommand{\BPR}{\ensuremath{\mathsf{BP}}\xspace}
 \newcommand{\var}{\ensuremath{\mathsf{var}}\xspace}
+%% Proba
+\newcommand{\dst}{\ensuremath{\mathsf{D}}\xspace}
 
 % Assumptions/Problems
 %% Pairings