Attached are three files:
alpha.lyx: a lyx file with only one \alpha.
log.txt: result of
/lyx -userdir ~/.lyx13 -dbg font ~/alpha.lyx >& ~/log.txt
version.txt: result of
/lyx -userdir ~/.lyx13 -version >& ~/version.txt
On my system, lyx persistently display trademark sign for \alpha.
--
Bo Peng
LyX 1.3.0cvs of Fri, May 3, 2002
Built on Dec 10 2002, 01:06:24
Configuration
Host type: i686-pc-linux-gnu
Special build flags: warnings assertions
C Compiler: gcc
C Compiler flags: -g -O2
C++ Compiler: g++ (3.2)
C++ Compiler flags: -g -O -fno-exceptions -W -Wall -Winline
Linker flags:
Frontend: qt
Qt version: 3.0.5
LyX binary dir: /home/bpeng/download/cvslyx/bin
LyX files dir: /home/bpeng/download/cvslyx/share/lyx
Setting debug level to font
Debugging `font' (Font handling)
This font is an exact match
XFLD: Luxi
Sans-15:render=True:style=Bold:slant=0:weight=200:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
Font 'Sans serif, Bold, Upright, Normal, yellow, Emphasis Off, Underline Off, Noun
Off, Language: English' matched by
Luxi
Sans-15:render=True:style=Bold:slant=0:weight=200:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
The font has size: 15
Font 'Sans serif, Bold, Upright, Normal, yellow, Emphasis Off, Underline Off, Noun
Off, Language: English' matched by
Luxi
Sans-15:render=True:style=Bold:slant=0:weight=200:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
The font has size: 15
This font is an exact match
XFLD: Luxi
Sans-15:render=True:style=Regular:slant=0:weight=100:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
This font is an exact match
XFLD: Luxi
Sans-15:render=True:style=Regular:slant=0:weight=100:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
This font is an exact match
XFLD: Luxi
Sans-15:render=True:style=Regular:slant=0:weight=100:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
This font is an exact match
XFLD: Luxi
Sans-15:render=True:style=Regular:slant=0:weight=100:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
This font is an exact match
XFLD: Luxi
Sans-15:render=True:style=Regular:slant=0:weight=100:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
This font is an exact match
XFLD: Luxi
Sans-15:render=True:style=Regular:slant=0:weight=100:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
This font is an exact match
XFLD: Luxi
Sans-15:render=True:style=Regular:slant=0:weight=100:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
This font is an exact match
XFLD: Luxi
Sans-15:render=True:style=Regular:slant=0:weight=100:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
This font is an exact match
XFLD: Luxi
Sans-15:render=True:style=Regular:slant=0:weight=100:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
This font is an exact match
XFLD: Luxi
Sans-15:render=True:style=Regular:slant=0:weight=100:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]![|>^1!|>^1!!!!%#lm6/eOi)GBlr9j!Oq4jo!!K?& !!!)$!{{B% 9;*f!
!!#0GM>RAd#y#fx!!!!5 !!!W5 !!#3H !!!!& !!#6I!!K?& !!+fv !!!!+
!!+u{!!!!)
:lang=aa|ast|ay|bi|br|bs|ch|co|cs|da|de|en|es|et|eu|fi|fj|fo|fr|fur|fy|gd|gl|gv|ho|hr|hu|ia|id|ie|io|is|it|lb|lt|lv|mg|mh|nb|nl|nn|no|oc|om|pl|pt|rm|sk|sl|sma|smj|so|sq|sv|sw|tn|tr|ts|vo|vot|wa|wen|xh|yap|zu
Font 'cmm, Medium, Upright, Normal, math, Emphasis Off, Underline Off, Noun Off,
Language: English' matched by
Luxi
Sans-15:render=True:style=Regular:slant=0:weight=100:pixelsize=20:antialias=True:hintstyle=2:hinting=True:verticallayout=False:autohint=False:globaladvance=True:index=0:outline=True:scalable=True:dpi=96:rgba=0:scale=1:minspace=False:charset=
|>^1!|>^1!P0oWQ |>]