From ed81ca957bde929caae20e09555ef5b90e128bee Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 26 Jun 2022 18:35:47 -0700 Subject: [PATCH] Add missing backslashes to post --- content/blog/10_compiler_polymorphism.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/blog/10_compiler_polymorphism.md b/content/blog/10_compiler_polymorphism.md index 8fbfcbf..101a112 100644 --- a/content/blog/10_compiler_polymorphism.md +++ b/content/blog/10_compiler_polymorphism.md @@ -58,7 +58,7 @@ __generalization__ and __instantiation__. It's been quite a while since the last to present a table with these new rules, as well as all of the ones that we {{< sidenote "right" "rules-note" "previously used." >}} The rules aren't quite the same as the ones we used earlier; -note that \(\sigma\) is used in place of \(\tau\) in the first rule, +note that \\(\sigma\\) is used in place of \\(\tau\\) in the first rule, for instance. These changes are slight, and we'll talk about how the rules work together below. {{< /sidenote >}} I will also give a quick