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]> -- [email protected] mailing list
