From f326c25be6c8b9ae72d343d1a4b763fa222786dc Mon Sep 17 00:00:00 2001 From: Jiahao Chen Date: Tue, 20 Oct 2015 15:05:32 -0400 Subject: [PATCH] Update latex symbols --- base/latex_symbols.jl | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/base/latex_symbols.jl b/base/latex_symbols.jl index c50451890a40e0..33b49b69a6c8c8 100644 --- a/base/latex_symbols.jl +++ b/base/latex_symbols.jl @@ -2544,4 +2544,18 @@ const latex_symbols = Dict( "\\mtteight" => "𝟾", # mathematical monospace digit 8 "\\mttnine" => "𝟿", # mathematical monospace digit 9 + "\\triangleright" => "▷", # (large) right triangle, open; z notation range restriction + "\\triangleleft" => "◁", # (large) left triangle, open; z notation domain restriction + "\\leftouterjoin" => "⟕", # left outer join + "\\rightouterjoin" => "⟖", # right outer join + "\\fullouterjoin" => "⟗", # full outer join + "\\Join" => "⨝", # join + "\\mathunderbar" => "̲", # combining low line + "\\underleftrightarrow" => "͍", # underleftrightarrow accent + "\\leftwavearrow" => "↜", # left arrow-wavy + "\\rightwavearrow" => "↝", # right arrow-wavy + "\\varbarwedge" => "⌅", # /barwedge b: logical and, bar above [projective (bar over small wedge)] + "\\smallblacktriangleright" => "▸", # right triangle, filled + "\\smallblacktriangleleft" => "◂", # left triangle, filled + "\\leftmoon" => "☾", # last quarter moon )