diff --git a/src/Bergamot/Latex.elm b/src/Bergamot/Latex.elm
index fdf3652..dec8b07 100644
--- a/src/Bergamot/Latex.elm
+++ b/src/Bergamot/Latex.elm
@@ -43,7 +43,7 @@ renderRuleViaRules env r =
             |> Maybe.map (\prems -> buildStr conc prems))
 
 quoteMetavariable : Metavariable -> Term Void
-quoteMetavariable (MkMetavariable s) = Call "metavariable" [StringLit <| String.dropLeft 1 s]
+quoteMetavariable v = Call "metavariable" [StringLit <| metavariableToLatex v]
 
 termToLatex : (a -> String) -> Term a -> String
 termToLatex f t =