chiark / gitweb /
doc/sod.sty: Make `@->' typeset a dereferencing arrow.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 17 Sep 2015 17:22:24 +0000 (18:22 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 17 Sep 2015 17:22:24 +0000 (18:22 +0100)
doc/sod.sty

index 7a5260578032c41b744bab6d105b822e65eba14e..2894feba3fe4dda1877dec5e8164c0c140e4450c 100644 (file)
 \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\\}