diff --git a/dollar.rkt b/dollar.rkt index 7afd062db..23de83f26 100644 --- a/dollar.rkt +++ b/dollar.rkt @@ -261,7 +261,7 @@ EOJS (define tex-commands (string->bytes/utf-8 #<