From ae9662207a291ea22226d2e538889a1ccde29d10 Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Thu, 29 Dec 2022 21:30:18 -0500
Subject: [PATCH] Fixing math rendering

---
 content/blog/z3constraintsolving.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/content/blog/z3constraintsolving.md b/content/blog/z3constraintsolving.md
index 042f1b6..ff0f820 100644
--- a/content/blog/z3constraintsolving.md
+++ b/content/blog/z3constraintsolving.md
@@ -2,6 +2,7 @@
 title: "Z3 Constraint solving"
 date: 2021-06-18T00:53:20-04:00
 draft: false
+math: true
 tags: []
 ---