Le jeudi 24 mars 2005 à 11:02 -0500, Tim Janssen a écrit : > The symbol I'm missing is a \VDash Which
Looking into the comprehentive LaTeX symbol list ( http://www.ctan.org/tex-archive/info/symbols/comprehensive/symbols-a4.pdf ), I found \VDash in the mathabx package Fred -- Frédéric Grosshans <[EMAIL PROTECTED]> -- gentoo-user@gentoo.org mailing list