diff --git a/manual/conf.py b/manual/conf.py index dafd49f..0cc197e 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'