Abdelrazak Younes wrote: > No, they are in red here. At least those in "Allsymbols.lyx" Care to > give an example?
Any unknown symbol would do, but I just saw that the reason was a local modification and it occurs in the other frontends, too, so never mind. Georg
