Add missing backslashes to post

This commit is contained in:
Danila Fedorin 2022-06-26 18:35:47 -07:00
parent f8ab8257e7
commit ed81ca957b

View File

@ -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