>>>>> "Judicael" == Judicael Courant <[EMAIL PROTECTED]> writes:
Judicael> I just found the following bug in lyx-1.0.0 pre8 :
Judicael> I would like to type a \vdash, but it seems the graphical
Judicael> display of this symbol is not implemented.
Indded this symbol is not implemented. The reason is simple: LyX uses
adobe symbol font for display, and is thus limited to the glyphs
implmented in this font. So don't expect a fix soon...
Judicael> The same problem arises also
Judicael> with \models ("models" appears) whereas there is no problem
Judicael> with \leq which displays the correct (blue) symbol.
Yes, \leq *is* in the symbol font.
Judicael> I guess it is not a very deep bug, but I would really need
Judicael> this \vdash symbol...
Well, it is there (look at latex output). It is just that you do not
see it on screen.
Judicael> Post PS : is there any way to have macros in non-math mode ?
Judicael> It would be very convenient, and I could not find this in
Judicael> the doc (I have read it too fast, maybe)...
Unfortunately not.
JMarc
