From b880d5a25c3c92ed97909ee28409771cd3f099df Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 1 Jun 2020 17:31:28 +0200
Subject: [PATCH] tweak spacing around our domains
---
tex/iris.sty | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/tex/iris.sty b/tex/iris.sty
index 82213c6fc..59ef937e1 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}}
--
GitLab