src/final.lisp: Add convenient macro for testing parsers at the REPL.

[sod] / doc / sod.sty

diff --git a/doc/sod.sty b/doc/sod.sty
index 916d95e..9fffa17 100644 (file)
--- a/doc/sod.sty
+++ b/doc/sod.sty
@@ -116,7 +116,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}
+\atdef -#1{\if>#1\hbox{--\raisebox{.4pt}{>}}\penalty200\relax\fi}
 
 %% Comment setting.
 \atdef ;#1\\{\normalfont\itshape;#1\\}