From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 17 Sep 2015 17:22:24 +0000 (+0100)
Subject: doc/sod.sty: Make `@->' typeset a dereferencing arrow.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/780dfb99b08e565eeeb5d94d4d8fd0604b8c54d0?hp=--cc

doc/sod.sty: Make `@->' typeset a dereferencing arrow.
---

780dfb99b08e565eeeb5d94d4d8fd0604b8c54d0
diff --git a/doc/sod.sty b/doc/sod.sty
index 7a52605..2894feb 100644
--- a/doc/sod.sty
+++ b/doc/sod.sty
@@ -103,6 +103,7 @@
 \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{\ensuremath\rightarrow}\fi}
 
 %% Comment setting.
 \atdef ;#1\\{\normalfont\itshape;#1\\}