diff --git a/collects/mrlib/tex-table.ss b/collects/mrlib/tex-table.ss index 8b718e95..7b9670f9 100644 --- a/collects/mrlib/tex-table.ss +++ b/collects/mrlib/tex-table.ss @@ -164,6 +164,8 @@ ("vdash" "⊢") ("dashv" "⊣") + ("sqrt" "√") + ("skull" "☠") ("smiley" "☺") ("blacksmiley" "☻")