diff --git a/tex/iris.sty b/tex/iris.sty
index 0704079a9913eb808f7fb171194352f81c7d018b..269f266462037278d25b4dd5dae566dfaee43229 100644
--- a/tex/iris.sty
+++ b/tex/iris.sty
@@ -375,7 +375,7 @@
 
 \newcommand{\TRUE}{\textlog{True}}
 \newcommand{\FALSE}{\textlog{False}}
-\newcommand{\EMP}{\textlog{emp}}
+\newcommand{\EMP}{\textlog{Emp}}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % GENERIC LANGUAGE SYNTAX AND SEMANTICS