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