From edf56d644d9eb25258f996e0806233851b2a19fb Mon Sep 17 00:00:00 2001 From: Jean-Marc Lasgouttes Date: Mon, 23 Sep 2024 19:42:29 +0200 Subject: [PATCH] Do not use big characters for some unicode points This modifies LOGICAL AND, LOGICAL OR, INTERSECTION and UNION. Fixes bug #13099. --- lib/unicodesymbols | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/lib/unicodesymbols b/lib/unicodesymbols index 66cbfc74aa..1d0c32d0d1 100644 --- a/lib/unicodesymbols +++ b/lib/unicodesymbols @@ -2332,10 +2332,10 @@ 0x2224 "" "" "force!=utf8x" "\\nmid" "" # DOES NOT DIVIDE # or "\\notdivides" "mathabx" 0x2225 "" "" "force!=utf8x" "\\parallel" "" # PARALLEL TO 0x2226 "" "" "force!=utf8x" "\\nparallel" "amssymb" # NOT PARALLEL TO -0x2227 "" "" "force!=utf8x" "\\bigwedge" "" # LOGICAL AND -0x2228 "" "" "force!=utf8x" "\\bigvee" "" # LOGICAL OR -0x2229 "" "" "force!=utf8x" "\\bigcap" # INTERSECTION -0x222a "" "" "force!=utf8x" "\\bigcup" "" # UNION +0x2227 "" "" "force!=utf8x" "\\wedge" "" # LOGICAL AND +0x2228 "" "" "force!=utf8x" "\\vee" "" # LOGICAL OR +0x2229 "" "" "force!=utf8x" "\\cap" # INTERSECTION +0x222a "" "" "force!=utf8x" "\\cup" "" # UNION 0x222b "" "" "force!=utf8x" "\\int" "esint" # INTEGRAL 0x222c "" "" "force!=utf8x" "\\iint" "esint|amsmath" # DOUBLE INTEGRAL 0x222d "" "" "force!=utf8x" "\\iiint" "esint|amsmath" # TRIPLE INTEGRAL -- 2.39.5