From 92608d0d73de4a3f5924466c7056433dd0c17487 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 5 Aug 2019 18:06:07 +0100
Subject: [PATCH] doc/sod.sty: Rewrite `@-' to cope with other things
 following.

Also, typesets as a dash, which is probably good.
---
 doc/sod.sty | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/doc/sod.sty b/doc/sod.sty
index 3560c62..1cfc065 100644
--- a/doc/sod.sty
+++ b/doc/sod.sty
@@ -136,7 +136,17 @@
 \atdef !{\m@maybe|\@scripts}
 \def\returns{\m@maybe\longrightarrow\m@maybe@end\hspace{0.5em}\ignorespaces}
 \atdef >{\leavevmode\unskip\hspace{0.5em}\returns}
-\atdef -#1{\if>#1\hbox{--\raisebox{.4pt}{>}}\penalty200\relax\fi}
+\atdef -{\leavevmode\hbox\bgroup\futurelet\ch@\@dash}
+\def\@dash{%
+  \ifx\ch@>%
+    --\raisebox{.4pt}{>}%
+    \def\next@{\@firstoftwo{\egroup\penalty200\relax}}%
+  \else%
+    --%
+    \let\next@\egroup%
+  \fi\fi
+  \next@%
+}
 
 %% Comment setting.
 \def\comment#1{\mbox{\normalfont\itshape\/#1\/}}
-- 
2.11.0