added sqrt

svn: r15749 original commit: 6de735bf5952ad80c622b578e71cf8e5feff9520
2009-08-16 22:00:15 +00:00 · 2009-08-16 22:00:15 +00:00 · eb42c4fe22
commit eb42c4fe22
parent f63ec4f1bd
1 changed files with 2 additions and 0 deletions
--- a/collects/mrlib/tex-table.ss
+++ b/collects/mrlib/tex-table.ss
@ -164,6 +164,8 @@
    ("vdash" "⊢")
    ("dashv" "⊣")
    
+    ("sqrt" "√")
+    
    ("skull" "☠") 
    ("smiley" "☺")
    ("blacksmiley" "☻")