Re: Bug: latex export [7.01trans (release_7.01h.613.g17c71)]

[Matt Lundin <mdl@imapmail.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 "⊢" "|-" nil "⊢"))

For more information, type

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

Best,
Matt