Fixed #35754 -- Mapped full-width characters in latex to half-width.

This commit is contained in:
khanxmetu 2024-09-12 14:45:59 +03:00 committed by Sarah Boyce
parent ccd6e13cc9
commit 1f3f0cd8ca
2 changed files with 6 additions and 1 deletions

View File

@ -110,6 +110,7 @@ answer newbie questions, and generally made Django that much better:
Anubhav Joshi <anubhav9042@gmail.com>
Anvesh Mishra <anveshgreat11@gmail.com>
Anže Pečar <anze@pecar.me>
A. Rafey Khan <khanxbahria@gmail.com>
Aram Dulyan
arien <regexbot@gmail.com>
Arjun Omray <arjunomray@gmail.com>

View File

@ -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}}