Jean-Marc Lasgouttes edf56d644d Do not use big characters for some unicode points
This modifies LOGICAL AND, LOGICAL OR, INTERSECTION and UNION.

Fixes bug #13099.
2024-09-23 19:42:29 +02:00
..
2024-08-12 12:29:50 +02:00
2022-11-20 21:19:44 +01:00
2023-08-01 05:23:05 -04:00
2023-03-20 22:48:41 +01:00
2024-01-06 11:46:25 +01:00
2019-06-26 08:57:05 +02:00
2024-08-28 09:23:35 +02:00
2020-07-09 18:59:54 +02:00
2024-06-18 10:24:09 +01:00
2023-11-09 00:21:21 +01:00
2018-03-09 15:17:23 +01:00