added sqrt

svn: r15749
2009-08-16 22:00:15 +00:00 · 2009-08-16 22:00:15 +00:00 · 6de735bf59
commit 6de735bf59
parent 02e4426d06
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" "☻")