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

diff --git a/doc/sod.sty b/doc/sod.sty
index 7a5260578032c41b744bab6d105b822e65eba14e..2894feba3fe4dda1877dec5e8164c0c140e4450c 100644 (file)
--- 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 !{\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\\}
 
 %% Comment setting.
 \atdef ;#1\\{\normalfont\itshape;#1\\}