- Encoding const * enc = f.language()->encoding();
- for (int i = 0; i < ls; ++i) {
- Uchar c = enc->ucs(s[i]);
+ Encoding const * encoding = f.language()->encoding();
+ LyXFont font(f);
+ if (f.family() == LyXFont::SYMBOL_FAMILY) {
+#ifdef USE_UNICODE_FOR_SYMBOLS
+ font.setFamily(LyXFont::ROMAN_FAMILY);
+ font.setShape(LyXFont::UP_SHAPE);
+#endif
+ encoding = encodings.symbol_encoding();
+ }
+ for (size_t i = 0; i < ls; ++i) {
+ Uchar c = encoding->ucs(s[i]);