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