changeset 9203 | 697f2c8727a1 |
parent 9029 | 2962c80230e3 |
child 9613 | 817b74e9c5aa |
--- a/doc-src/railsetup.sty Thu Jun 29 22:39:09 2000 +0200 +++ b/doc-src/railsetup.sty Thu Jun 29 22:39:31 2000 +0200 @@ -2,6 +2,9 @@ \railalias{percent}{\%} \railalias{ppercent}{\%\%} \railalias{underscore}{\_} +\railalias{lbrace}{\{} +\railalias{rbrace}{\}} +\railalias{atsign}{{\at}} \setlength\railextra{3.6ex} \setlength\railboxleft{0.9ex}