Re: unicodesymbols and tex2lyx

[Jürgen Spitzmüller]

Jean-Marc Lasgouttes wrote:
> I was actually concerned with additional load time, but it might be just 
> negligible.

I see. I don't know, but of course we can/should track that before actually 
changing things.

Jürgen