diff --git a/macros.tex b/macros.tex
index 42ffcdb..0cb4c84 100644
--- a/macros.tex
+++ b/macros.tex
@@ -1,17 +1,18 @@
-\usepackage{cryptocode}
-\usepackage{complexity}
+\usepackage[asymptotics,mm]{cryptocode}
 % Abbreviations
-%% Usual
-\newcommand{\PPT}{\textsf{PPT}\xspace}
 %% Algorithms
 \newcommand{\TrapGen}{\textsf{TrapGen}\xspace}
 \newcommand{\ExtBasis}{\textsf{ExtBasis}\xspace}
 \newcommand{\SampleR}{\textsf{SampleRight}\xspace}
 \newcommand{\SampleL}{\textsf{SampleLeft}\xspace}
 \newcommand{\GPVSample}{\textsf{GPVSample}\xspace}
+%% Complexity
+\newcommand{\NP}{\textsf{NP}\xspace}
+\newcommand{\redto}{\ensuremath{\preceq_P}}
 
 % Assumptions/Problems
 %% Pairings
+\newcommand{\DLP}{\textsf{DLP}\xspace}
 \newcommand{\DDH}{\textsf{DDH}\xspace}
 \newcommand{\SXDH}{\textsf{SXDH}\xspace}
 %% Lattices
@@ -36,6 +37,7 @@
 \newcommand{\CC}{\xspace\ensuremath{\mathbb{C}}\xspace}
 \newcommand{\QQ}{\xspace\ensuremath{\mathbb{Q}}\xspace}
 \newcommand{\Zq}{\xspace\ensuremath{\mathbb{Z}_q}\xspace}
+\newcommand{\bit}{\xspace\ensuremath{\{0,1\}}\xspace}
 %% Pairings
 \newcommand{\Zp}{\xspace\ensuremath{\mathbb{Z}_p}\xspace}
 \newcommand{\GG}{\xspace\ensuremath{\mathbb{G}}\xspace}
diff --git a/symbols.tex b/symbols.tex
index f60a05a..9bd1180 100644
--- a/symbols.tex
+++ b/symbols.tex
@@ -2,13 +2,15 @@
 \addcontentsline{toc}{chapter}{List of Symbols}
 
 \begin{tabular}{ll}
-  $\PPT$  & Probabilistic Polynomial Time        \\
+  TM      & Turing Machine                       \\
+  $\ppt$  & Probabilistic Polynomial Time        \\
   PKE     & Public Key Encryption                \\
   ZK      & Zero-Knowledge                       \\
   $\UC$   & Universal Composability              \\
   $\SIS$  & Short Integer Solution               \\
   $\LWE$  & Learning with Errors                 \\
   $\SIVP$ & Shortest Independent Vectors Problem \\
+  $\DLP$  & Discrete Logarithm Problem            \\
   $\DDH$  & Decisional Diffie-Hellman            \\
   $\SXDH$ & Symmetric eXternal Diffie-Hellman
 \end{tabular}