From 7f690d29595c6fc4228aef2ae874b7f82d2c4428 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 24 Aug 2020 19:10:04 +0200
Subject: [PATCH] LaTeX: make \spac non-breakable
---
tex/iris.sty | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tex/iris.sty b/tex/iris.sty
index cce3a90a9..2652092f4 100644
--- a/tex/iris.sty
+++ b/tex/iris.sty
@@ -46,7 +46,7 @@
\newcommand{\upclose}{\mathord{\uparrow}}
\newcommand{\ALT}{\ |\ }
-\newcommand{\spac}{\hskip 0.2em plus 0.1em} % a space
+\newcommand{\spac}{\nobreak\hskip 0.2em plus 0.1em} % a space
\def\All #1.{\forall #1.\spac}%
\def\Exists #1.{\exists #1.\spac}%
--
GitLab