diff --git a/semantics.tex b/semantics.tex
index 1d400a1..5d6e93d 100644
--- a/semantics.tex
+++ b/semantics.tex
@@ -22,7 +22,6 @@
 \newcommand{\FDE}{\operatorname{FDE}}
 \newcommand{\dwrow}{\operatorname{Row}}
 \newcommand{\spexpr}{\mathbb{E}}
-\newcommand{\dwexpr}{\bar{\mathbb{E}}}
 \newcommand{\regs}{\mathbb{R}}
 \newcommand{\values}{\mathbb{V}}
 
@@ -107,8 +106,6 @@ formats to handle various operands formatting, to optimize space).
         & \text{A DWARF row} \\
     \spexpr &:= \regs \times \mathbb{Z}
         & \text{A ``simple'' expression $\reg{reg} + offset$} \\
-    \spexpr &:= \regs \times \mathbb{Z}
-        & \text{A ``simple'' expression $\reg{reg} + offset$} \\
     \regs &:= \left\{0, 1, \ldots, \operatorname{NB\_REGS - 1} \right\}
         & \text{Machine registers} \\
     \values &:= \{\bot\} \cup \valaddr{\spexpr} \cup \valval{\spexpr}