diff --git a/tex/iris.sty b/tex/iris.sty index 59ef937e119d715269135c674504d999d58c308b..d802c81107c444551c1152f07028739adaa2f6b2 100644 --- a/tex/iris.sty +++ b/tex/iris.sty @@ -55,7 +55,7 @@ \newcommand{\any}{{\rule[-.2ex]{1ex}{.4pt}}}% % For some reason \paragraph gives the weirdest errors ("missing \item"). -\newcommand{\judgment}[2][]{\bigskip\noindent\textit{#1}\hspace{\stretch{1}}\fbox{$#2$}} +\newcommand{\judgment}[2][]{\bigskip\noindent\textit{#1}\hspace{\stretch{1}}\fbox{$#2$}\nopagebreak} \newcommand{\pfn}{\rightharpoonup} \newcommand\fpfn{\xrightharpoonup{\smash{\raisebox{-.3ex}{\ensuremath{\scriptstyle\kern-0.25ex\textlog{fin}\kern-0.1ex}}}}}