diff options
Diffstat (limited to 'manual/conf.py')
| -rw-r--r-- | manual/conf.py | 6 |
1 files changed, 6 insertions, 0 deletions
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' |