diff --git a/collects/slatex/slatex.ss b/collects/slatex/slatex.ss index 6aee58440a..0828ee060f 100644 --- a/collects/slatex/slatex.ss +++ b/collects/slatex/slatex.ss @@ -274,7 +274,7 @@ ((#\|) "$\\vert$") ((#\~) "\\~{}") ((#\@) "{\\atsign}") - ((#\") "{\\tt\\dq}") + ((#\") "{\\dq}") (else (string c))))) (define slatex::token=?