From f964a604126406226d9baf645c7cbb98df27d470 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sat, 2 Dec 2023 00:06:33 -0800 Subject: [PATCH] Perform metavariable substitution from quoting Signed-off-by: Danila Fedorin --- src/Bergamot/Latex.elm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 =