Underscores in hypothesis mess up rendering

[ldct]

import LeanTeXMathlib

example
  (a b c : ℝ)
  (h_a_is_less_than_b : a < b)
  (h_b_is_less_than_c : b < c)
  : a < c := by
  texify
  apply lt_trans h_a_is_less_than_b h_b_is_less_than_c

Renders as:

(I'm not sure if the name h_a_is_less_than_b violates some naming convention, though)