unofficial mirror of help-gnu-emacs@gnu.org
 help / color / mirror / Atom feed
* \Dashv in TeX input method
@ 2008-09-18  2:26 Michael Ekstrand
  0 siblings, 0 replies; only message in thread
From: Michael Ekstrand @ 2008-09-18  2:26 UTC (permalink / raw)
  To: help-gnu-emacs

I have been using the TeX input method a bit this week to input math
characters in a Unicode document.  I have, however, encountered one
issue: lack of the \Dashv (reverse of \vDash or \models, although those
don't yield identical symbols) symbol or an equivalent that I can find.

Is there such a character in Unicode?  If so, is there a way I can enter
it using the TeX input method, or via some other sufficiently simple
method?

- Michael

-- 
mouse, n: A device for pointing at the xterm in which you want to type.
Confused by the strange files?  I cryptographically sign my messages.
For more information see <http://www.elehack.net/resources/gpg>.


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2008-09-18  2:26 UTC | newest]

Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2008-09-18  2:26 \Dashv in TeX input method Michael Ekstrand

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).