I have recently installed windows bitmapped fonts for correct operation
of wine. The fonts installed were as following:

8514fix.fon*  dialogh.fon*   serife.fon*   sseriff.fon*  vgaoem.fon*
8514oem.fon*  dosapp.fon*    seriff.fon*   symbole.fon*  vgasys.fon*
8514sys.fon*  modern.fon*    smalle.fon*   symbolf.fon*
coure.fon*    phonetic.fon*  smallf.fon*   vga850.fon*
courf.fon*    R0DFONT.fon*   sserife.fon*  vgafix.fon*

Then, I have noticed that LyX uses the bitmapped symbol fonts for math
instead of the standard symbol fonts. My question is: How do I tell LyX
which symbol fonts to use? Note that this is not an option in
"Prefrences|Interface|Screen Fonts". I'm using LyX 1.1.6fix3.

Output of "xlsfonts | grep symbol" on my system:
-adobe-symbol-medium-r-normal--10-100-75-75-p-61-adobe-fontspecific
-adobe-symbol-medium-r-normal--11-80-100-100-p-61-adobe-fontspecific
-adobe-symbol-medium-r-normal--12-120-75-75-p-74-adobe-fontspecific
-adobe-symbol-medium-r-normal--14-100-100-100-p-85-adobe-fontspecific
-adobe-symbol-medium-r-normal--14-140-75-75-p-85-adobe-fontspecific
-adobe-symbol-medium-r-normal--17-120-100-100-p-95-adobe-fontspecific
-adobe-symbol-medium-r-normal--18-180-75-75-p-107-adobe-fontspecific
-adobe-symbol-medium-r-normal--20-140-100-100-p-107-adobe-fontspecific
-adobe-symbol-medium-r-normal--24-240-75-75-p-142-adobe-fontspecific
-adobe-symbol-medium-r-normal--25-180-100-100-p-142-adobe-fontspecific
-adobe-symbol-medium-r-normal--34-240-100-100-p-191-adobe-fontspecific
-adobe-symbol-medium-r-normal--8-80-75-75-p-51-adobe-fontspecific
-altsys-ms outlook-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-bitstream-holidaypi bt-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-design science, inc.-mt extra-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-dtp software-tera special-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-aharoni-bold-r-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-david
backslanted-medium-i-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-david
transparent-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-david-bold-r-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-david-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-fixed miriam
transparent-medium-r-normal--0-0-0-0-m-0-microsoft-symbol
-glyph systems-frankruehl
backslanted-medium-i-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-levenim mt-bold-r-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-levenim mt-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-miriam fixed-medium-r-normal--0-0-0-0-m-0-microsoft-symbol
-glyph systems-miriam
transparent-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-miriam-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-narkisim-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-glyph systems-rod transparent-medium-r-normal--0-0-0-0-m-0-microsoft-symbol
-glyph systems-rod-medium-r-normal--0-0-0-0-m-0-microsoft-symbol
-microsoft-marlett-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-microsoft-ms reference 1-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-microsoft-ms reference 2-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-microsoft-webdings-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-microsoft-wingdings-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-monotype-andale mono ipa-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-monotype-map symbols-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-monotype-monotype hadassah-bold-r-normal--0-0-0-0-p-0-microsoft-symbol
-monotype-monotype hadassah-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-monotype-monotype sorts-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-monotype-ms reference
specialty-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-monotype-refspecialty-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-monotype-symbol-medium-r-normal--0-0-0-0-p-0-ascii-0
-monotype-symbol-medium-r-normal--0-0-0-0-p-0-microsoft-symbol
-urw-standard symbols l-medium-r-normal--0-0-0-0-p-0-urw-fontspecific
-urw-symbol-medium-r-normal--0-0-0-0-p-0-urw-fontspecific
-windows-symbol-medium-r-normal--0-0-120-120-p-0-microsoft-symbol
-windows-symbol-medium-r-normal--0-0-120-126-p-0-microsoft-symbol
-windows-symbol-medium-r-normal--0-0-96-96-p-0-microsoft-symbol
-windows-symbol-medium-r-normal--13-80-96-96-p-50-microsoft-symbol
-windows-symbol-medium-r-normal--13-80-96-96-p-50-microsoft-symbol
-windows-symbol-medium-r-normal--16-80-120-120-p-60-microsoft-symbol
-windows-symbol-medium-r-normal--16-80-120-120-p-60-microsoft-symbol
-windows-symbol-medium-r-normal--19-120-96-96-p-80-microsoft-symbol
-windows-symbol-medium-r-normal--19-120-96-96-p-80-microsoft-symbol
-windows-symbol-medium-r-normal--20-100-120-126-p-80-microsoft-symbol
-windows-symbol-medium-r-normal--20-100-120-126-p-80-microsoft-symbol
-windows-symbol-medium-r-normal--21-140-96-96-p-90-microsoft-symbol
-windows-symbol-medium-r-normal--21-140-96-96-p-90-microsoft-symbol
-windows-symbol-medium-r-normal--23-120-120-120-p-100-microsoft-symbol
-windows-symbol-medium-r-normal--23-120-120-120-p-100-microsoft-symbol
-windows-symbol-medium-r-normal--27-140-120-120-p-120-microsoft-symbol
-windows-symbol-medium-r-normal--27-140-120-120-p-120-microsoft-symbol
-windows-symbol-medium-r-normal--33-180-120-120-p-150-microsoft-symbol
-windows-symbol-medium-r-normal--33-180-120-120-p-150-microsoft-symbol
-windows-symbol-medium-r-normal--35-240-96-96-p-150-microsoft-symbol
-windows-symbol-medium-r-normal--35-240-96-96-p-150-microsoft-symbol
-windows-symbol-medium-r-normal--43-240-120-120-p-200-microsoft-symbol
-windows-symbol-medium-r-normal--43-240-120-120-p-200-microsoft-symbol



Reply via email to