From b68bbe8c2e1d121f6c10623c316292fe2d0b97c2 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Mon, 30 Apr 2018 14:50:19 +0200 Subject: [PATCH] 0x2dd is not covered by utf8 inputenc yet (TL 2018) --- lib/unicodesymbols | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/unicodesymbols b/lib/unicodesymbols index c4f2303ccc..a9290b8fca 100644 --- a/lib/unicodesymbols +++ b/lib/unicodesymbols @@ -643,7 +643,7 @@ 0x02da "\\r{ }" "" "force=utf8" # RING ABOVE 0x02db "\\k{ }" "" "force=utf8" # OGONEK 0x02dc "\\~{ }" "" "" # SMALL TILDE -0x02dd "\\H{ }" "" "" # DOUBLE ACUTE ACCENT +0x02dd "\\H{ }" "" "force=utf8" # DOUBLE ACUTE ACCENT 0x02de "\\textrhoticity" "tipa" "force" # MODIFIER LETTER RHOTIC HOOK #0x02df "\\textovercross{ }" "tipa" "force" # MODIFIER LETTER CROSS ACCENT 0x02e0 "\\textsuperscript{\\textgamma}" "tipa" "force" # MODIFIER LETTER SMALL GAMMA -- 2.39.5