In his message of Wed January 27, 1999, Jean-Marc Lasgouttes writes:
>
> 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...
>
What a pity ! But even the ASCII display "|-" for \vdash, and "|="
for \models would be better than just the name of the symbol (I think
it is the same for many of the other symbols). As I am working on type
systems, my articles are full type inference rules with lots of
\vdashes. Therefore *for the kind of document I write* LyX has little
advantages over emacs+LaTeX if I cannot have \vdash displayed
graphically "|-".
Judicaël.
--
[EMAIL PROTECTED], http://www.lri.fr/~jcourant/
<< La verite, ce n'est pas ce qui se demontre, c'est ce qui simplifie >>
(Antoine de Saint Exupery, Terre des hommes)
