diff --git a/collects/mrlib/tex-table.ss b/collects/mrlib/tex-table.ss
index bf400657f1..92bb5aa5c3 100644
--- a/collects/mrlib/tex-table.ss
+++ b/collects/mrlib/tex-table.ss
@@ -171,6 +171,8 @@
     ("smiley" "☺")
     ("blacksmiley" "☻")
     ("frownie" "☹")
+    
+    ("S" "§")
     ))
 
 ;; checks to see if there are duplicates