![](https://secure.gravatar.com/avatar/46562c7d27388490d62e8d7a5bc960dd.jpg?s=120&d=mm&r=g)
1 May
2020
1 May
'20
5:28 a.m.
On 5/1/2020 10:21 AM, Gerben Wierda wrote:
code it back to a \ ? E.g. something like
{ ‘\U{XXX}', '\' }, \utfchar{100} \Uchar 100
----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------