From 10403b7959b5d8c4c931943708eb8832418612f8 Mon Sep 17 00:00:00 2001 From: Scott Kostyshak Date: Sat, 30 Sep 2023 20:20:03 -0400 Subject: [PATCH] Amend 04bfbc0f Patch from Udi. --- src/Encoding.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Encoding.cpp b/src/Encoding.cpp index dc84192471..dab24b72dd 100644 --- a/src/Encoding.cpp +++ b/src/Encoding.cpp @@ -204,7 +204,7 @@ bool Encoding::encodable(char_type c) const return true; // platex does not load inputenc: force conversion of supported characters if (package_ == Encoding::japanese - && ((0xb7 <= c && c <= 0x058f) // Latin-1 Supplement ... Armenian + && ((0xb7 <= c && c <= 0x05ff) // Latin-1 Supplement ... Hebrew || (0x1d00 <= c && c <= 0x218f) // Phonetic Extensions ... Number Forms || (0x2193 <= c && c <= 0x2aff) // Arrows ... Supplemental Mathematical Operators || (0xfb00 <= c && c <= 0xfb4f) // Alphabetic Presentation Forms