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: []
 ---