quick hack to support symbol export; this is not the right thing for LaTeX fonts in general, but it does correctly support the symbol font. CVS: ---------------------------------------------------------------------- CVS: Enter Log. Lines beginning with `CVS:' are removed automatically CVS: CVS: Committing in . CVS: CVS: Modified Files: CVS: src/wp/impexp/xp/ie_exp_LaTeX.cpp CVS: src/wp/impexp/xp/ie_exp_LaTeX.h CVS: ----------------------------------------------------------------------
