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

[markscala]

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.

Thanks,
Mark Scala


Emacs  : GNU Emacs 23.2.1 (i686-pc-linux-gnu, GTK+ Version 2.20.1)
 of 2010-05-08 on pidsley.hoetzel.info
Package: Org-mode version 7.01trans (release_7.01h.613.g17c71)

current state:
==============
(setq
 org-export-latex-after-initial-vars-hook '(org-beamer-after-initial-vars)
 org-speed-command-hook '(org-speed-command-default-hook 
org-babel-speed-command-hook)
 org-agenda-files '("~/code/org/refile.org" "~/code/org/todo.org")
 org-metaup-hook '(org-babel-load-in-session-maybe)
 org-capture-templates '(("n" "note" entry (file+headline 
"~/code/org/refile.org" "Notes")
                          "* %?\n   :PROPERTIES:\n   :ADDED: %U\n   :END:\n %i 
\n" :prepend t)
                         )
 org-after-todo-state-change-hook '(org-clock-out-if-current)
 org-export-blocks-postblock-hook '(org-exp-res/src-name-cleanup)
 org-export-latex-format-toc-function 'org-export-latex-format-toc-default
 org-tab-first-hook '(org-hide-block-toggle-maybe 
org-src-native-tab-command-maybe org-babel-hide-result-toggle-maybe)
 org-src-mode-hook '(org-src-babel-configure-edit-buffer 
org-src-mode-configure-edit-buffer)
 org-confirm-shell-link-function 'yes-or-no-p
 org-export-first-hook '(org-beamer-initialize-open-trackers)
 org-agenda-before-write-hook '(org-agenda-add-entry-text)
 org-default-notes-file "~/code/org/refile.org"
 org-directory "~/code/org/"
 org-babel-pre-tangle-hook '(save-buffer)
 org-cycle-hook '(org-cycle-hide-archived-subtrees org-cycle-hide-drawers 
org-cycle-show-empty-lines
                  org-optimize-window-after-visibility-change)
 org-export-preprocess-before-normalizing-links-hook 
'(org-remove-file-link-modifiers)
 org-mode-hook '((lambda nil
                  (org-add-hook (quote change-major-mode-hook) (quote 
org-show-block-all) (quote append) (quote local)))
                 (lambda nil
                  (org-add-hook (quote change-major-mode-hook) (quote 
org-babel-show-result-all) (quote append) (quote local)))
                 org-babel-result-hide-spec org-babel-hide-all-hashes)
 org-ctrl-c-ctrl-c-hook '(org-babel-hash-at-point 
org-babel-execute-safely-maybe)
 org-confirm-elisp-link-function 'yes-or-no-p
 org-refile-use-outline-path 'file
 org-export-interblocks '((lob org-babel-exp-lob-one-liners) (src 
org-babel-exp-inline-src-blocks))
 org-refile-allow-creating-parent-nodes 'confirm
 org-occur-hook '(org-first-headline-recenter)
 org-export-preprocess-before-selecting-backend-code-hook 
'(org-beamer-select-beamer-code)
 org-export-preprocess-after-include-files-hook '(org-export-blocks-preprocess)
 org-modules '(org-bbdb org-bibtex org-docview org-gnus org-id org-info 
org-jsinfo org-habit org-irc org-mew org-mhe org-rmail
               org-vm org-wl org-w3m org-capture)
 org-export-latex-final-hook '(org-beamer-amend-header org-beamer-fix-toc 
org-beamer-auto-fragile-frames
                               org-beamer-place-default-actions-for-lists)
 org-metadown-hook '(org-babel-pop-to-session-maybe)
 org-export-blocks '((src org-babel-exp-src-blocks nil) (comment 
org-export-blocks-format-comment t)
                     (ditaa org-export-blocks-format-ditaa nil) (dot 
org-export-blocks-format-dot nil))
 )