From mboxrd@z Thu Jan  1 00:00:00 1970
From: Matt Lundin <mdl@imapmail.org>
Subject: Re: Bug: latex export [7.01trans (release_7.01h.613.g17c71)]
Date: Sun, 03 Oct 2010 13:25:49 -0400
Message-ID: <87tyl31942.fsf@fastmail.fm>
References: <87aamvcl1x.fsf@skalawag.i-did-not-set--mail-host-address--so-tickle-me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from [140.186.70.92] (port=47419 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1P2SU1-0003D8-Hm
	for emacs-orgmode@gnu.org; Sun, 03 Oct 2010 13:36:24 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <lundin@fastmail.fm>) id 1P2SJr-00015I-RC
	for emacs-orgmode@gnu.org; Sun, 03 Oct 2010 13:25:53 -0400
Received: from out5.smtp.messagingengine.com ([66.111.4.29]:42039)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <lundin@fastmail.fm>) id 1P2SJr-00015D-MN
	for emacs-orgmode@gnu.org; Sun, 03 Oct 2010 13:25:51 -0400
In-Reply-To: <87aamvcl1x.fsf@skalawag.i-did-not-set--mail-host-address--so-tickle-me>
	(markscala@gmail.com's message of "Sun, 03 Oct 2010 11:12:26 -0500")
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <http://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <http://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: markscala@gmail.com
Cc: emacs-orgmode@gnu.org

markscala@gmail.com writes:

> I use org and latex export to write logic exercises and tests for my
> classes, and I've noticed the following problem.  In the following
> items, all but the last item export correctly:
>
>
> P \rightarrow Q
>
> P \vee Q
>
> P \& Q
>
> P \leftrightarrow Q
>
> P \vdash Q
>
>
> Here is the output for C-c C-e L:
>
>
> P $\rightarrow$ Q
>
> P $\vee$ Q
>
> P \& Q
>
> P $\leftrightarrow$ Q
>
> P \vdash Q
>
>
> The last item in this list should be P $\vdash$ Q.
>

This occurs because \vdash is not defined in org-entities, while the
other symbols are. If you want it to export properly to LaTeX, you can
add something like the following to your ~/.emacs:

(add-to-list 'org-entities-user '("vdash" "\\vdash" t "&#8866;" "|-" nil "=
=E2=8A=A2"))

For more information, type

C-h v org-entities
C-h v org-entities-user

Best,
Matt