On Thu, 24 Mar 2005, Mike Markowski wrote:
If you install the amssymb package and start your doc with "\usepackage{amssymb}" you'll have \vDash. A google search on "amssymb latex" will bring up a bunch of pages you can double check against before installing.
The symbol I'm missing is a \VDash Which is two vertical bars and an equals. The amssymb package includes \nvdash, \nVdash, \nvDash, and \nVDash for the negated forms, but only \vdash, \Vdash, and \vDash for the non-negated forms. For some reason there is no \VDash.
I built a \VDash with \parallel and = but it's slightly bigger than the symbols in amssymb, so (being the picky bastard that I am) I went and wrote macros for my own set of [vV]Dashes (using |, \parallel, =, and \neq so that they'll all be the same size.
Can anyone tell me why there is \nVDash but no \VDash??? It seems very stupid to me.
Sorry I misread your original problem, and you're right - that's strange, probably an oversight. If you're solution doesn't make you happy and you're feeling adventurous (or desperate) you might peek at the source for nVDash and tweek it to get rid of the slash. I've done similar things before, and remember the hardest part was finding what I needed. Changing it wasn't bad. But you might direct your question to a TeX list, too, and will probably get just the solution you need in short order. Good luck! I'll email direct if I find anything.
Mike -- [email protected] mailing list
