diff --git a/unicodedomino.sty b/unicodedomino.sty index f52b6f74a8980d4b9d990575c1c4fc83935a4f60..00df29cae95e01a4e4e55ffc0d87763376e2dda2 100644 --- a/unicodedomino.sty +++ b/unicodedomino.sty @@ -38,6 +38,14 @@ \PackageError{unicodedomino}{This package requires UTF-8 input encoding}% \fi% +% patch up bug in utf8.def that forbade 0xF4 lead byte +\begingroup% +\catcode`\~13 +\uccode`\~"F4 +\def\UTFviii@tmp{\xdef~{\noexpand\UTFviii@four@octets\string~}}% +\uppercase\expandafter{\UTFviii@tmp}% +\endgroup% + % nicer printing of codepoint hex numbers, not strictly necessary \def\unicodedomino@codepoint#1{% \ifnum#1>1048575%