From: "Fabrice Niessen" <fni-news-TA4HMoP+1wHrZ44/DZwexQ@public.gmane.org>
To: emacs-orgmode-mXXj517/zsQ@public.gmane.org
Subject: Re: AUCTeX key bindings within Org documents
Date: Sat, 05 Oct 2013 09:58:35 +0200 [thread overview]
Message-ID: <86fvsgb13o.fsf@somewhere.org> (raw)
In-Reply-To: 87vc1cgsdn.fsf@gmail.com
Hi Joseph,
Joseph Vidal-Rosset wrote:
> Thanks a lot Fabrice for your package to get AUCTeX key binginds within
> Org documents.
You're welcome. Still a work in progress -- have to address the points of
Nicolas, Suvayu and Marcin, among others.
> Maybe I do not use it correctly by I want to point out to you some
> unwanted results:
>
> #+begin_equation
> \label{ECQ}
> \neg A , A \vdash B
> \tag{ECQ}
> #+end_equation
>
> exported in LaTeX is translated in .tex file:
>
> \begin{equation}
> \label{ECQ}
> $\neg{}$ A , A \vdash B
> \tag{ECQ}
> \end{equation}
>
> and of course it does not work.
>
> My question is therefore more general: how writing scienfific papers in
> org-mode documents i.e. how writing useful environments like equation,
> bussproofs, fitch, etc. every useful package for logicians,
> mathematicians, etc. ?
I don't have experience with mathematics in Org nor in LaTeX. The problem you
point out does not seem to be related in any way to org-auctex-keys.el, though.
Could you try different variations of your code: all the "inside" code on one
line, or all lines with indentation (I see that \neg is not indented), or...
and see whether some work.
This should anyway be reported as a separate problem from the AUCTeX key
bindings.
Best regards,
Fabrice
--
Fabrice Niessen
Leuven, Belgium
next prev parent reply other threads:[~2013-10-05 7:58 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-09-27 11:21 AUCTeX key bindings within Org documents Fabrice Niessen
2013-09-27 12:08 ` Nicolas Richard
2013-09-28 8:15 ` Fabrice Niessen
2013-09-28 9:56 ` Suvayu Ali
2013-09-28 10:04 ` Marcin Borkowski
2013-09-28 10:30 ` Achim Gratz
2013-09-28 10:36 ` Marcin Borkowski
[not found] ` <86a9ixgy5b.fsf-oHC15RC7JGTNLxjTenLetw@public.gmane.org>
2013-09-29 18:47 ` Fabrice Niessen
2013-10-01 15:08 ` Suvayu Ali
2013-10-01 20:38 ` Marcin Borkowski
2013-10-02 11:36 ` Nicolas Richard
2013-10-02 20:41 ` Marcin Borkowski
2013-10-05 6:10 ` Joseph Vidal-Rosset
2013-10-05 7:58 ` Fabrice Niessen [this message]
2013-10-05 13:51 ` Joseph Vidal-Rosset
2013-10-05 20:52 ` Nicolas Richard
2013-10-05 21:22 ` Joseph Vidal-Rosset
2013-09-27 12:24 ` Marcin Borkowski
2013-09-28 8:16 ` Fabrice Niessen
[not found] ` <8661tlgy2w.fsf-oHC15RC7JGTNLxjTenLetw@public.gmane.org>
2013-10-21 20:06 ` Fabrice Niessen
2013-10-01 20:26 ` AW
2013-10-02 11:37 ` Nicolas Richard
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=86fvsgb13o.fsf@somewhere.org \
--to=fni-news-ta4hmop+1whrz44/dzwexq@public.gmane.org \
--cc=emacs-orgmode-mXXj517/zsQ@public.gmane.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.