diff --git a/docs/iris.sty b/docs/iris.sty
index 518651e410e2a6954356f16a13c50de243c7f81b..c3bee3ef476d57c1fb1d3ff15e1de5d8ed3d7e1a 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -323,8 +323,8 @@
 \newcommand{\step}{\ra}
 \newcommand{\lctx}{K}
 
-\newcommand{\toval}{\mathrm{expr2val}}
-\newcommand{\ofval}{\mathrm{val2expr}}
+\newcommand{\toval}{\mathrm{expr\any to\any val}}
+\newcommand{\ofval}{\mathrm{val\any to\any expr}}
 \newcommand{\atomic}{\mathrm{atomic}}
 \newcommand{\red}{\mathrm{red}}
 \newcommand{\Lang}{\Lambda}