diff --git a/collects/mrlib/tex-table.rkt b/collects/mrlib/tex-table.rkt index 92bb5aa5c3..25c0f9d6e2 100644 --- a/collects/mrlib/tex-table.rkt +++ b/collects/mrlib/tex-table.rkt @@ -173,6 +173,9 @@ ("frownie" "☹") ("S" "§") + + ("newpage" "\f") + )) ;; checks to see if there are duplicates