Merge pull request #9584 from JuliaLang/jb/latexfixes

some latex symbol updates
JuliaLang · Jan 4, 2015 · 96d97ca · 96d97ca
2 parents 79c97ae + dc247a8
commit 96d97ca
Show file tree

Hide file tree

Showing 2 changed files with 2,457 additions and 2,453 deletions.
diff --git a/base/latex_symbols.jl b/base/latex_symbols.jl
@@ -481,6 +481,7 @@ const latex_symbols = Dict(
     "\\exists" => "∃",
     "\\nexists" => "∄",
     "\\varnothing" => "∅",
+    "\\emptyset" => "∅",
     "\\nabla" => "∇",
     "\\in" => "∈",
     "\\notin" => "∉",
@@ -924,10 +925,12 @@ const latex_symbols = Dict(
     "\\Dashv" => "⫤",
     "\\interleave" => "⫴",
     "\\Elztdcol" => "⫶",
-    "\\openbracketleft" => "〚",
-    "\\openbracketright" => "〛",
-    "\\overbrace" => "︷",
-    "\\underbrace" => "︸",
+    "\\openbracketleft" => "⟦",
+    "\\llbracket" => "⟦",
+    "\\openbracketright" => "⟧",
+    "\\rrbracket" => "⟧",
+    "\\overbrace" => "⏞",
+    "\\underbrace" => "⏟",
 
 # 1607 symbols generated from unicode-math-table.tex:
     "\\Zbar" => "Ƶ",  # impedance (latin capital letter z with stroke)