richard wrote: > The unicodesymbols file lists things like this: \"{o} and not like this: \"o > So G\"odel doesn't get translated.
isn't it possible to have multiple entries in the unicodesymbols file?
richard wrote: > The unicodesymbols file lists things like this: \"{o} and not like this: \"o > So G\"odel doesn't get translated.
isn't it possible to have multiple entries in the unicodesymbols file?