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