From dcc3d0729800d6cde79aa823664757749c9e1f47 Mon Sep 17 00:00:00 2001
From: Mykel Kochenderfer <mykel@stanford.edu>
Date: Thu, 15 Feb 2024 18:58:26 -0800
Subject: [PATCH] fixes #29

---
 src/display.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/display.jl b/src/display.jl
index e75f733..024ae05 100644
--- a/src/display.jl
+++ b/src/display.jl
@@ -7,6 +7,7 @@
 function latex_escape(s::String)
     s = replace(s, "#"=>"\\#")
     s = replace(s, "&"=>"\\&")
+    s = replace(s, "_"=>"\\_")
     return s
 end