Am Montag 06 Juli 2015, 17:24:47 schrieb Guenter Milde: > On 2015-07-05, Jürgen Spitzmüller wrote: > > Am Sonntag 05 Juli 2015, 14:12:55 schrieb Georg Baum: > >> The attached patch fixes that and even simplifies the code. Does anybody > >> know of any reason _not_ to use unicodesymbols replacements for the user > >> preamble? > > > > I consider the preamble to be "literate", just like ERT is. Thus, I > > think no auto-replacements should be performed.
No, I mean "literal" as in: pass to LaTeX as is. Jürgen
