From 211f1fdfe1d969df7c9762ba8e914d3ea829e9b4 Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Tue, 18 Jan 2022 09:14:17 -0500
Subject: [PATCH] Allow real <= and >= in LateX

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

diff --git a/manual/conf.py b/manual/conf.py
index dafd49f1..0cc197ea 100644
--- a/manual/conf.py
+++ b/manual/conf.py
@@ -31,4 +31,10 @@ html_static_path = ['_static']
 html_css_files = [
     'css/wraptable.css',
 ]
+latex_elements = {
+    'preamble': r'''
+\sphinxDUC{2264}{$\leq$}
+\sphinxDUC{2265}{$\geq$}
+''',
+}
 highlight_language = 'none'