diff --git a/tex/iris.sty b/tex/iris.sty
index 82213c6fc24686dd19f05af9524d04dac740da00..59ef937e119d715269135c674504d999d58c308b 100644
--- a/tex/iris.sty
+++ b/tex/iris.sty
@@ -392,13 +392,13 @@
 \newcommand{\Lctx}{\textdom{Ctx}}
 \newcommand{\obs}{\kappa}
 
-\newcommand{\State}{\textdom{State}}
-\newcommand{\Val}{\textdom{Val}}
-\newcommand{\Loc}{\textdom{Loc}}
-\newcommand{\Expr}{\textdom{Expr}}
-\newcommand{\Var}{\textdom{Var}}
-\newcommand{\Obs}{\textdom{Obs}}
-\newcommand{\ThreadPool}{\textdom{ThreadPool}}
+\newcommand{\State}{\kern-0.05em\textdom{State}}
+\newcommand{\Val}{\kern-0.2em\textdom{Val}}
+\newcommand{\Loc}{\kern-0.05em\textdom{Loc}}
+\newcommand{\Expr}{\kern-0.05em\textdom{Expr}}
+\newcommand{\Var}{\kern-0.2em\textdom{Var}}
+\newcommand{\Obs}{\kern-0.1em\textdom{Obs}}
+\newcommand{\ThreadPool}{\kern-0.05em\textdom{ThreadPool}}
 
 \newcommand{\toval}{\textlog{expr\any to\any val}}
 \newcommand{\ofval}{\textlog{val\any to\any expr}}