[OT] LaTeX VDash

[Tim Janssen]

Does anyone know how to produce a VDash symbol? (looks like: ||= )

There are commands (vdash, Vdash, and vDash) for |- ||- and |=
and also negated forms (nvdash, nVdash, nvDash and nVDash) for |- ||- |=
and ||= with slashes through them.

but no normal VDash.
Google's case-insensitive so it's not been much help.

Thank you
--
gentoo-***@gentoo.org mailing list

[Dirk Raeder]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Post by Tim Janssen
Does anyone know how to produce a VDash symbol? (looks like: ||= )
There are commands (vdash, Vdash, and vDash) for |- ||- and |=
and also negated forms (nvdash, nVdash, nvDash and nVDash) for |- ||- |=
and ||= with slashes through them.
but no normal VDash.
Google's case-insensitive so it's not been much help.
Thank you
--

Try \vert

- --
Dirk Raeder

I prefer encrypted and signed messages. My GPG key is available at
hkp://blackhole.pca.dfn.de with ID 0x05EB5446

Registered Linux user #378554
http://counter.li.org
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)

iD8DBQFCQEcE2QYJ1wXrVEYRAtdLAJ9OMzOlOs/cxPGZRt05U3Jsso+ykwCfZIES
BF9YOnFQ/nSkyvP3haci3Q0=
=7rSF
-----END PGP SIGNATURE-----
--
gentoo-***@gentoo.org mailing list

[Tim Janssen]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dirk Raeder wrote:
| Tim Janssen wrote:
|
|>>Does anyone know how to produce a VDash symbol? (looks like: ||= )
|>>
|>>There are commands (vdash, Vdash, and vDash) for |- ||- and |=
|>>and also negated forms (nvdash, nVdash, nvDash and nVDash) for |- ||- |=
|>>and ||= with slashes through them.
|>>
|>>but no normal VDash.
|>>Google's case-insensitive so it's not been much help.
|>>
|>>Thank you
|>>--
|>>gentoo-***@gentoo.org mailing list
|>>
|
| Try \vert

I've tried \vert, | , \mid but they produce vertical bars that are too
tall. a \vDash is smaller than a vertical bar attached to an equal sign,
so I've decided to give up on \vdash and it's evil spawn and just build
my own symbols with |, \parallel, =, and \neq.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org

iD8DBQFCQWrpaRz9jZhWXD0RAqpBAKDEwS0vntFagD7fXrXSsGvy1ZoQ1wCgnx+V
JBvZDzkiZxT0ZIBw/mBNFSE=
=YZqJ
-----END PGP SIGNATURE-----
--
gentoo-***@gentoo.org mailing list

[Mike Markowski]

Post by Tim Janssen
I've tried \vert, | , \mid but they produce vertical bars that are too
tall. a \vDash is smaller than a vertical bar attached to an equal sign,
so I've decided to give up on \vdash and it's evil spawn and just build
my own symbols with |, \parallel, =, and \neq.

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.

Mike
--
gentoo-***@gentoo.org mailing list

[Tim Janssen]

Post by Mike Markowski
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.

Tim
--
gentoo-***@gentoo.org mailing list

[Mike Markowski]

Post by Tim Janssen

Post by Mike Markowski
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
--
gentoo-***@gentoo.org mailing list

[Frédéric Grosshans]

Post by Tim Janssen
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