On Wed, 27 Jan 1999, Judicael Courant wrote:
JC>
JC> In his message of Wed January 27, 1999, Jean-Marc Lasgouttes writes:
JC> >
JC> > Judicael> I would like to type a \vdash, but it seems the graphical
JC> > Judicael> display of this symbol is not implemented.
JC> >
JC> > Indded this symbol is not implemented. The reason is simple: LyX uses
JC> > adobe symbol font for display, and is thus limited to the glyphs
JC> > implmented in this font. So don't expect a fix soon...
JC> >
JC>
JC> What a pity ! But even the ASCII display "|-" for \vdash, and "|="
JC> for \models would be better than just the name of the symbol (I think
JC> it is the same for many of the other symbols). As I am working on type
JC> systems, my articles are full type inference rules with lots of
JC> \vdashes. Therefore *for the kind of document I write* LyX has little
JC> advantages over emacs+LaTeX if I cannot have \vdash displayed
JC> graphically "|-".
JC>
JC> Judicaël.
JC> --
JC> [EMAIL PROTECTED], http://www.lri.fr/~jcourant/
JC> << La verite, ce n'est pas ce qui se demontre, c'est ce qui simplifie >>
JC> (Antoine de Saint Exupery, Terre des hommes)
JC>
You can solve your problem in the following way in LyX:
1) make a math-macro Vdash and enter your favorite graphical
representation for vdash (eg. |-)
2) after the macro inset, enter
\renewcommand{\Vdash}{\vdash}
into a LaTeX paragraph
You could also avoid the name Vdash when you do a
\let\realvdash=\vdash
\makeatletter\let\vdash\@undefined\makeatother
before the macro inset, and a
\let\vdash=\realvdash
after it, both in LaTeX environments (should really be TeX
environments :-).
With these tricks, I defined many nice graphical objects that indeed
have a different LaTeX meaning.
Have fun,
Fred
Fred Hucht, Institute of Theoretical Physics, University of Duisburg, Germany
Email: [EMAIL PROTECTED] http://www.thp.Uni-Duisburg.DE/
"Der Koerper der algebraischen Zahlen ist kein algebraischer Zahlkoerper"
(E. Landau, Zahlentheorie (1927), Satz 718)
