Do not use big characters for some unicode points

This modifies LOGICAL AND, LOGICAL OR, INTERSECTION and UNION.

Fixes bug #13099.

(cherry picked from commit edf56d644d)
This commit is contained in:
Jean-Marc Lasgouttes 2024-09-23 19:42:29 +02:00
parent 2ac0db401e
commit cc1fca8868
2 changed files with 6 additions and 4 deletions

View File

@ -2332,10 +2332,10 @@
0x2224 "" "" "force!=utf8x" "\\nmid" "" # DOES NOT DIVIDE # or "\\notdivides" "mathabx" 0x2224 "" "" "force!=utf8x" "\\nmid" "" # DOES NOT DIVIDE # or "\\notdivides" "mathabx"
0x2225 "" "" "force!=utf8x" "\\parallel" "" # PARALLEL TO 0x2225 "" "" "force!=utf8x" "\\parallel" "" # PARALLEL TO
0x2226 "" "" "force!=utf8x" "\\nparallel" "amssymb" # NOT PARALLEL TO 0x2226 "" "" "force!=utf8x" "\\nparallel" "amssymb" # NOT PARALLEL TO
0x2227 "" "" "force!=utf8x" "\\bigwedge" "" # LOGICAL AND 0x2227 "" "" "force!=utf8x" "\\wedge" "" # LOGICAL AND
0x2228 "" "" "force!=utf8x" "\\bigvee" "" # LOGICAL OR 0x2228 "" "" "force!=utf8x" "\\vee" "" # LOGICAL OR
0x2229 "" "" "force!=utf8x" "\\bigcap" # INTERSECTION 0x2229 "" "" "force!=utf8x" "\\cap" # INTERSECTION
0x222a "" "" "force!=utf8x" "\\bigcup" "" # UNION 0x222a "" "" "force!=utf8x" "\\cup" "" # UNION
0x222b "" "" "force!=utf8x" "\\int" "esint" # INTEGRAL 0x222b "" "" "force!=utf8x" "\\int" "esint" # INTEGRAL
0x222c "" "" "force!=utf8x" "\\iint" "esint|amsmath" # DOUBLE INTEGRAL 0x222c "" "" "force!=utf8x" "\\iint" "esint|amsmath" # DOUBLE INTEGRAL
0x222d "" "" "force!=utf8x" "\\iiint" "esint|amsmath" # TRIPLE INTEGRAL 0x222d "" "" "force!=utf8x" "\\iiint" "esint|amsmath" # TRIPLE INTEGRAL

View File

@ -50,6 +50,8 @@ What's new
- Only \protect labels in \thanks notes (see bug 9404). - Only \protect labels in \thanks notes (see bug 9404).
- Fix size of Logical and/or characters in LaTeX output (bug 13099).
* USER INTERFACE * USER INTERFACE