diff options
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 2c578d5a8d..b72b1afcf5 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -292,8 +292,12 @@ latex_elements = { \setmainfont{Symbola} """, "preamble": r""" - \usepackage{newunicodechar} \usepackage[UTF8]{ctex} + \xeCJKDeclareCharClass{HalfLeft}{"2018, "201C} + \xeCJKDeclareCharClass{HalfRight}{ + "00B7, "2019, "201D, "2013, "2014, "2025, "2026, "2E3A + } + \usepackage{newunicodechar} \newunicodechar{π}{\ensuremath{\pi}} \newunicodechar{≤}{\ensuremath{\le}} \newunicodechar{≥}{\ensuremath{\ge}} |