2013/10/5 Fabrice Niessen <fni-news@pirilampo.org>
>
> 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.
>

Yes, you are probably right. But the problem lies in the fact that org-mode syntax environment produces this result:

#+begin_equation ... #+end_equation contrary to latex syntax \begin{equation} ... \end{equation} , have side effects.

And the question is then why is it nececessary to adopt another syntax environment in org-mode ?

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

I've tried it. One gets the same result.

Best

Jo.