marksc...@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
_______________________________________________
Emacs-orgmode mailing list
Please use `Reply All' to send replies to the list.
Emacs-orgmode@gnu.org
http://lists.gnu.org/mailman/listinfo/emacs-orgmode
