Update stdlib/REPL/src/latex_symbols.jl

fingolfin · web-flow · commit b0f70e2117d4 · 2025-11-20T21:57:54.000+01:00
diff --git a/stdlib/REPL/src/latex_symbols.jl b/stdlib/REPL/src/latex_symbols.jl
@@ -765,6 +765,7 @@ const latex_symbols = Dict(
     "\\pitchfork" => "⋔",
     "\\lessdot" => "⋖",
     "\\gtrdot" => "⋗",
+    "\\verymuchless" => "⋘",
     "\\lll" => "⋘",
     "\\ggg" => "⋙",
     "\\lesseqgtr" => "⋚",
