From 5d63730b9347a755d2906f7a929db9dba71ea37f Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Sun, 31 Jul 2022 16:19:50 -0400
Subject: Clean up documentation

---
 manual/conf.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'manual/conf.py')

diff --git a/manual/conf.py b/manual/conf.py
index be8e4c64..02bb4462 100644
--- a/manual/conf.py
+++ b/manual/conf.py
@@ -35,6 +35,7 @@ latex_elements = {
     'preamble': r'''
 \sphinxDUC{2264}{$\leq$}
 \sphinxDUC{2265}{$\geq$}
+\sphinxDUC{03C0}{$\pi$}
 ''',
 }
 highlight_language = 'none'
-- 
cgit v1.2.3-70-g09d2