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

[markscala@gmail.com]

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))
 )