Success! Final stack:
  (Lean.Doc.Syntax.inline_math
   "$"
   (Lean.Doc.Syntax.code
    "`"
    (str "\"\\\\frac{x}{4}\"")
    "`"))
All input consumed.