all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* AUCTeX key bindings within Org documents
@ 2013-09-27 11:21 Fabrice Niessen
  2013-09-27 12:08 ` Nicolas Richard
                   ` (2 more replies)
  0 siblings, 3 replies; 22+ messages in thread
From: Fabrice Niessen @ 2013-09-27 11:21 UTC (permalink / raw)
  To: emacs-orgmode-mXXj517/zsQ

Hello,

Due to a friend's request, I've tried to offer AUCTeX key bindings within Org
documents via a minor mode, called "org-auctex-keys".

If you're interested, check it out at
https://github.com/fniessen/org-auctex-key-bindings.

Note that I'm willing to add extra AUCTeX keys -- but I don't use AUCTeX enough
to know what's important to transfer to Org.

Best regards,
Fabrice

-- 
Fabrice Niessen
Leuven, Belgium

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  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-27 12:24 ` Marcin Borkowski
  2013-10-01 20:26 ` AW
  2 siblings, 1 reply; 22+ messages in thread
From: Nicolas Richard @ 2013-09-27 12:08 UTC (permalink / raw)
  To: Fabrice Niessen; +Cc: public-emacs-orgmode-mXXj517/zsQ



Hello Fabrice,

"Fabrice Niessen" <fni-news-TA4HMoP+1wHrZ44/DZwexQ@public.gmane.org>
writes:
> Due to a friend's request, I've tried to offer AUCTeX key bindings within Org
> documents via a minor mode, called "org-auctex-keys".

I checked that out because I often find myself doing C-c C-e while in
org-mode, but I expected it would insert
#+BEGIN_SRC latex
  \begin{prompted_env}
    
  \end{prompted_env}
#+END_SRC
instead of a new item.

OTOH, I don't really want such a feature, because when I do this, I
usually realize that it's time for me to export the tree to LaTeX and go
on from there.

> If you're interested, check it out at
> https://github.com/fniessen/org-auctex-key-bindings.

I see no licence, which I think (though IANAL) is equal to a strict and
super restrictive copyright ; is that intended ?

Best wishes,

-- 
Nicolas.

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-09-27 11:21 AUCTeX key bindings within Org documents Fabrice Niessen
  2013-09-27 12:08 ` Nicolas Richard
@ 2013-09-27 12:24 ` Marcin Borkowski
  2013-09-28  8:16   ` Fabrice Niessen
  2013-10-01 20:26 ` AW
  2 siblings, 1 reply; 22+ messages in thread
From: Marcin Borkowski @ 2013-09-27 12:24 UTC (permalink / raw)
  To: emacs-orgmode

Dnia 2013-09-27, o godz. 13:21:40
"Fabrice Niessen" <fni-news@pirilampo.org> napisał(a):

> Hello,
> 
> Due to a friend's request, I've tried to offer AUCTeX key bindings
> within Org documents via a minor mode, called "org-auctex-keys".
> 
> If you're interested, check it out at
> https://github.com/fniessen/org-auctex-key-bindings.
> 
> Note that I'm willing to add extra AUCTeX keys -- but I don't use
> AUCTeX enough to know what's important to transfer to Org.

Interesting idea - for me, especially C-c C-f bindings might be
useful.  What might be missing:

C-c C-f C-e emphasize, might just be equivalent to C-c C-f C-i
C-c C-j new item, might be equivalent to C-RET or something
C-c C-c in AUCTeX, this just runs a TeX job.  Here it initiate export
or something like that.

> Best regards,
> Fabrice

Best,

-- 
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Adam Mickiewicz University

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-09-27 12:08 ` Nicolas Richard
@ 2013-09-28  8:15   ` Fabrice Niessen
  2013-09-28  9:56     ` Suvayu Ali
                       ` (2 more replies)
  0 siblings, 3 replies; 22+ messages in thread
From: Fabrice Niessen @ 2013-09-28  8:15 UTC (permalink / raw)
  To: emacs-orgmode-mXXj517/zsQ

Hello Nicolas,

Nicolas Richard wrote:
> "Fabrice Niessen" writes:
>> Due to a friend's request, I've tried to offer AUCTeX key bindings within Org
>> documents via a minor mode, called "org-auctex-keys".
>
> I checked that out because I often find myself doing C-c C-e while in
> org-mode, but I expected it would insert
>
> #+BEGIN_SRC latex
>   \begin{prompted_env}
>
>   \end{prompted_env}
> #+END_SRC
> instead of a new item.

Why not?  It makes sense -- and the list item did not make such sense...

> OTOH, I don't really want such a feature, because when I do this, I
> usually realize that it's time for me to export the tree to LaTeX and go
> on from there.
>
>> If you're interested, check it out at
>> https://github.com/fniessen/org-auctex-key-bindings.
>
> I see no licence, which I think (though IANAL) is equal to a strict and
> super restrictive copyright ; is that intended ?

No, it's just that I'm lost when it comes down to copyrights, copylefts, and
all the subtle meanings and implications of that.

Any advice on what to put? The purpose is, of course, that it can be freely
used, copied, etc.

Best regards,
Fabrice

-- 
Fabrice Niessen
Leuven, Belgium

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-09-27 12:24 ` Marcin Borkowski
@ 2013-09-28  8:16   ` Fabrice Niessen
       [not found]     ` <8661tlgy2w.fsf-oHC15RC7JGTNLxjTenLetw@public.gmane.org>
  0 siblings, 1 reply; 22+ messages in thread
From: Fabrice Niessen @ 2013-09-28  8:16 UTC (permalink / raw)
  To: emacs-orgmode-mXXj517/zsQ

Hello Marcin,

Marcin Borkowski wrote:
>> Due to a friend's request, I've tried to offer AUCTeX key bindings
>> within Org documents via a minor mode, called "org-auctex-keys".
>> 
>> If you're interested, check it out at
>> https://github.com/fniessen/org-auctex-key-bindings.
>> 
>> Note that I'm willing to add extra AUCTeX keys -- but I don't use
>> AUCTeX enough to know what's important to transfer to Org.
>
> Interesting idea - for me, especially C-c C-f bindings might be
> useful.  What might be missing:
>
> C-c C-f C-e emphasize, might just be equivalent to C-c C-f C-i

Already added.

> C-c C-j new item, might be equivalent to C-RET or something
> C-c C-c in AUCTeX, this just runs a TeX job.  Here it initiate export
> or something like that.

These will follow.

Thanks for your input...

Best regards,
Fabrice

-- 
Fabrice Niessen
Leuven, Belgium

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  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
       [not found]     ` <86a9ixgy5b.fsf-oHC15RC7JGTNLxjTenLetw@public.gmane.org>
  2013-10-05  6:10     ` Joseph Vidal-Rosset
  2 siblings, 2 replies; 22+ messages in thread
From: Suvayu Ali @ 2013-09-28  9:56 UTC (permalink / raw)
  To: emacs-orgmode

On Sat, Sep 28, 2013 at 10:15:28AM +0200, Fabrice Niessen wrote:
> >
> >> If you're interested, check it out at
> >> https://github.com/fniessen/org-auctex-key-bindings.
> >
> > I see no licence, which I think (though IANAL) is equal to a strict and
> > super restrictive copyright ; is that intended ?
> 
> No, it's just that I'm lost when it comes down to copyrights, copylefts, and
> all the subtle meanings and implications of that.
> 
> Any advice on what to put? The purpose is, of course, that it can be freely
> used, copied, etc.

I think "Public Domain" is the most open you can go.  Otherwise "GPL v2"
is always good.

-- 
Suvayu

Open source is the future. It sets us free.

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-09-28  9:56     ` Suvayu Ali
@ 2013-09-28 10:04       ` Marcin Borkowski
  2013-09-28 10:30       ` Achim Gratz
  1 sibling, 0 replies; 22+ messages in thread
From: Marcin Borkowski @ 2013-09-28 10:04 UTC (permalink / raw)
  To: emacs-orgmode

Dnia 2013-09-28, o godz. 11:56:05
Suvayu Ali <fatkasuvayu+linux@gmail.com> napisał(a):

> On Sat, Sep 28, 2013 at 10:15:28AM +0200, Fabrice Niessen wrote:
> > >
> > >> If you're interested, check it out at
> > >> https://github.com/fniessen/org-auctex-key-bindings.
> > >
> > > I see no licence, which I think (though IANAL) is equal to a
> > > strict and super restrictive copyright ; is that intended ?
> > 
> > No, it's just that I'm lost when it comes down to copyrights,
> > copylefts, and all the subtle meanings and implications of that.
> > 
> > Any advice on what to put? The purpose is, of course, that it can
> > be freely used, copied, etc.
> 
> I think "Public Domain" is the most open you can go.  Otherwise "GPL
> v2" is always good.
> 

Also, Creative Commons seem to be quite easy to understand (and most of
them are a bit more restrictive than PD, or CC0).  I'm not sure whether
they can apply to software, though.

Hth,

-- 
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Adam Mickiewicz University

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  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
  1 sibling, 1 reply; 22+ messages in thread
From: Achim Gratz @ 2013-09-28 10:30 UTC (permalink / raw)
  To: emacs-orgmode

Am 28.09.2013 11:56, schrieb Suvayu Ali:
> I think "Public Domain" is the most open you can go.

It isn't, simply because there is no way to put something into the 
public domain in many jurisdictions and what exactly is meant by "public 
domain" differs by jurisdiction as well.

>  Otherwise "GPL v2" is always good.

CC0 probably comes closest to "public domain" for most intents and 
purposes, although I don't think it has been tested in court as the GPL 
variants have been.  For Emacs, (L)GPL would be more appropriate and if 
integration into Emacs proper is desired, then you actually need to 
assign copyright to the FSF.


Achim.

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-09-28 10:30       ` Achim Gratz
@ 2013-09-28 10:36         ` Marcin Borkowski
  0 siblings, 0 replies; 22+ messages in thread
From: Marcin Borkowski @ 2013-09-28 10:36 UTC (permalink / raw)
  To: emacs-orgmode

Dnia 2013-09-28, o godz. 12:30:01
Achim Gratz <Stromeko@Nexgo.DE> napisał(a):

> Am 28.09.2013 11:56, schrieb Suvayu Ali:
> > I think "Public Domain" is the most open you can go.
> 
> It isn't, simply because there is no way to put something into the 
> public domain in many jurisdictions and what exactly is meant by
> "public domain" differs by jurisdiction as well.
> 
> >  Otherwise "GPL v2" is always good.
> 
> CC0 probably comes closest to "public domain" for most intents and 
> purposes, although I don't think it has been tested in court as the
> GPL variants have been.  For Emacs, (L)GPL would be more appropriate
> and if integration into Emacs proper is desired, then you actually
> need to assign copyright to the FSF.

BTW: what are exactly the legal consequences of assigning copyright to
the FSF, especially (but not limited to) concerning copyright of future
works?  Is there any document on the web summarizing this?  (I'm asking
because there is at least one person around here who got very
dissatisfied with his FSF copyright assignment, and I'd prefer to know
what the pitfalls might be.)

And for the record: you might consider the LPPL (LaTeX Project Public
Licence), which is more liberal than GPL, but more restrictive than
PD (and need not be restricted to LaTeX-related works).

> Achim.

Best,

-- 
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Adam Mickiewicz University

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
       [not found]     ` <86a9ixgy5b.fsf-oHC15RC7JGTNLxjTenLetw@public.gmane.org>
@ 2013-09-29 18:47       ` Fabrice Niessen
  2013-10-01 15:08         ` Suvayu Ali
  0 siblings, 1 reply; 22+ messages in thread
From: Fabrice Niessen @ 2013-09-29 18:47 UTC (permalink / raw)
  To: public-emacs-orgmode-mXXj517/zsQ-wOFGN7rlS/M9smdsby/KFg




Hello,

"Fabrice Niessen" wrote:
> Nicolas Richard wrote:
>> "Fabrice Niessen" writes:
>>> Due to a friend's request, I've tried to offer AUCTeX key bindings within Org
>>> documents via a minor mode, called "org-auctex-keys".
>>
>> I checked that out because I often find myself doing C-c C-e while in
>> org-mode, but I expected it would insert
>>
>> #+BEGIN_SRC latex
>>   \begin{prompted_env}
>>
>>   \end{prompted_env}
>> #+END_SRC
>> instead of a new item.
>
> Why not?  It makes sense -- and the list item did not make such sense...
>
>> OTOH, I don't really want such a feature, because when I do this, I
>> usually realize that it's time for me to export the tree to LaTeX and go
>> on from there.
>>
>>> If you're interested, check it out at
>>> https://github.com/fniessen/org-auctex-key-bindings.
>>
>> I see no licence, which I think (though IANAL) is equal to a strict and
>> super restrictive copyright ; is that intended ?
>
> No, it's just that I'm lost when it comes down to copyrights, copylefts, and
> all the subtle meanings and implications of that.
>
> Any advice on what to put? The purpose is, of course, that it can be freely
> used, copied, etc.

FYI, I've added the suggested key bindings (from you and from Marcin), and
added a copyright (Emacs-alike).

Currently implemented:

| Shortcut    | What it runs                       |
|-------------+------------------------------------|
| C-c C-s     | org-insert-heading                 |
| C-c C-j     | org-insert-heading-respect-content |
| C-c C-f C-e | org-auckeys-font (emphasize)       |
| C-c C-f C-b | org-auckeys-font (bold)            |
| C-c C-f C-t | org-auckeys-font (typewriter)      |
| C-c C-f C-i | org-auckeys-font (italic)          |
| C-c C-e     | org-auckeys-environment            |
| C-c C-c     | org-export-dispatch                |

Best regards,
Fabrice

-- 
Fabrice Niessen
Leuven, Belgium

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-09-29 18:47       ` Fabrice Niessen
@ 2013-10-01 15:08         ` Suvayu Ali
  2013-10-01 20:38           ` Marcin Borkowski
  0 siblings, 1 reply; 22+ messages in thread
From: Suvayu Ali @ 2013-10-01 15:08 UTC (permalink / raw)
  To: emacs-orgmode

Hi Fabrice,

On Sun, Sep 29, 2013 at 08:47:09PM +0200, Fabrice Niessen wrote:
>
> | C-c C-c     | org-export-dispatch                |

You might want to avoid this.  By default, Org uses it to do "smart
stuff": update local setup, enumerated lists, statistics cookies,
complete capture, evaluate current source block, ... basically it is a
context aware all purpose keybinding.  I don't think it is wise to lose
all that for a command like export that should work from anywhere in the
buffer.

FWIW, achieving one-to-one mapping may not be possible.  After all both
AUCTeX and Org are rather complicated packages that do a lot of "smart"
things.

Cheers,

-- 
Suvayu

Open source is the future. It sets us free.

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-09-27 11:21 AUCTeX key bindings within Org documents Fabrice Niessen
  2013-09-27 12:08 ` Nicolas Richard
  2013-09-27 12:24 ` Marcin Borkowski
@ 2013-10-01 20:26 ` AW
  2013-10-02 11:37   ` Nicolas Richard
  2 siblings, 1 reply; 22+ messages in thread
From: AW @ 2013-10-01 20:26 UTC (permalink / raw)
  To: emacs-orgmode

Am Freitag, 27. September 2013, 13:21:40 schrieb Fabrice Fabrice Niessen:
> Hello,
> 
> Due to a friend's request, I've tried to offer AUCTeX key bindings within
> Org documents via a minor mode, called "org-auctex-keys".
> 
> If you're interested, check it out at
> https://github.com/fniessen/org-auctex-key-bindings.
> 
> Note that I'm willing to add extra AUCTeX keys -- but I don't use AUCTeX
> enough to know what's important to transfer to Org.
> 
> Best regards,
> Fabrice

Wonderfull idea, thank you very much.

How can I get it switched on in every org-buffer automagically?

Regards,

Alexander

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-10-01 15:08         ` Suvayu Ali
@ 2013-10-01 20:38           ` Marcin Borkowski
  2013-10-02 11:36             ` Nicolas Richard
  0 siblings, 1 reply; 22+ messages in thread
From: Marcin Borkowski @ 2013-10-01 20:38 UTC (permalink / raw)
  To: emacs-orgmode

Dnia 2013-10-01, o godz. 17:08:49
Suvayu Ali <fatkasuvayu+linux@gmail.com> napisał(a):

> Hi Fabrice,
> 
> On Sun, Sep 29, 2013 at 08:47:09PM +0200, Fabrice Niessen wrote:
> >
> > | C-c C-c     | org-export-dispatch                |
> 
> You might want to avoid this.  By default, Org uses it to do "smart
> stuff": update local setup, enumerated lists, statistics cookies,
> complete capture, evaluate current source block, ... basically it is a
> context aware all purpose keybinding.  I don't think it is wise to
> lose all that for a command like export that should work from
> anywhere in the buffer.
> 
> FWIW, achieving one-to-one mapping may not be possible.  After all
> both AUCTeX and Org are rather complicated packages that do a lot of
> "smart" things.

C-c C-c was my idea - but now I've read this, I agree, this might be
not a brilliant one.  OTOH, C-c C-e got rebound to
org-auckeys-environment...  Dunno.

> Cheers,

Best,

-- 
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Adam Mickiewicz University

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-10-01 20:38           ` Marcin Borkowski
@ 2013-10-02 11:36             ` Nicolas Richard
  2013-10-02 20:41               ` Marcin Borkowski
  0 siblings, 1 reply; 22+ messages in thread
From: Nicolas Richard @ 2013-10-02 11:36 UTC (permalink / raw)
  To: Marcin Borkowski; +Cc: emacs-orgmode

Marcin Borkowski <mbork@wmi.amu.edu.pl> writes:
> C-c C-c was my idea - but now I've read this, I agree, this might be
> not a brilliant one.  OTOH, C-c C-e got rebound to
> org-auckeys-environment...  Dunno.

Could trigger export in org-ctrl-c-ctrl-c-final-hook, i.e. if nothing
else worked.

-- 
Nico.

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-10-01 20:26 ` AW
@ 2013-10-02 11:37   ` Nicolas Richard
  0 siblings, 0 replies; 22+ messages in thread
From: Nicolas Richard @ 2013-10-02 11:37 UTC (permalink / raw)
  To: AW; +Cc: emacs-orgmode

AW <alexander.willand@t-online.de> writes:
> How can I get it switched on in every org-buffer automagically?

You can do this :
(add-hook 'org-mode-hook 'org-auctex-keys-minor-mode)

-- 
Nico.

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-10-02 11:36             ` Nicolas Richard
@ 2013-10-02 20:41               ` Marcin Borkowski
  0 siblings, 0 replies; 22+ messages in thread
From: Marcin Borkowski @ 2013-10-02 20:41 UTC (permalink / raw)
  To: emacs-orgmode

Dnia 2013-10-02, o godz. 13:36:22
Nicolas Richard <theonewiththeevillook@yahoo.fr> napisał(a):

> Marcin Borkowski <mbork@wmi.amu.edu.pl> writes:
> > C-c C-c was my idea - but now I've read this, I agree, this might be
> > not a brilliant one.  OTOH, C-c C-e got rebound to
> > org-auckeys-environment...  Dunno.
> 
> Could trigger export in org-ctrl-c-ctrl-c-final-hook, i.e. if nothing
> else worked.

This /seems/ to me a very good idea!

Best,

-- 
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Adam Mickiewicz University

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-09-28  8:15   ` Fabrice Niessen
  2013-09-28  9:56     ` Suvayu Ali
       [not found]     ` <86a9ixgy5b.fsf-oHC15RC7JGTNLxjTenLetw@public.gmane.org>
@ 2013-10-05  6:10     ` Joseph Vidal-Rosset
  2013-10-05  7:58       ` Fabrice Niessen
  2013-10-05 20:52       ` Nicolas Richard
  2 siblings, 2 replies; 22+ messages in thread
From: Joseph Vidal-Rosset @ 2013-10-05  6:10 UTC (permalink / raw)
  To: Fabrice Niessen; +Cc: emacs-orgmode

Hello Fabrice, Hi everybody,

Thanks a lot Fabrice for your  package to get AUCTeX key binginds within
Org documents. 

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

In advance, thanks for your help. 

Jo. 

-- 
Joseph Vidal-Rosset
Archives Poincaré 
91, Bd. Libération
BP 454 
F-54001 NANCY Cedex

Site web: http://www.philfree.org
Google Talk - MSN login: joseph.vidal.rosset@gmail.com

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-10-05  6:10     ` Joseph Vidal-Rosset
@ 2013-10-05  7:58       ` Fabrice Niessen
  2013-10-05 13:51         ` Joseph Vidal-Rosset
  2013-10-05 20:52       ` Nicolas Richard
  1 sibling, 1 reply; 22+ messages in thread
From: Fabrice Niessen @ 2013-10-05  7:58 UTC (permalink / raw)
  To: emacs-orgmode-mXXj517/zsQ

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

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-10-05  7:58       ` Fabrice Niessen
@ 2013-10-05 13:51         ` Joseph Vidal-Rosset
  0 siblings, 0 replies; 22+ messages in thread
From: Joseph Vidal-Rosset @ 2013-10-05 13:51 UTC (permalink / raw)
  To: Fabrice Niessen; +Cc: emacs-orgmode list

[-- Attachment #1: Type: text/plain, Size: 799 bytes --]

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.

[-- Attachment #2: Type: text/html, Size: 1127 bytes --]

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-10-05  6:10     ` Joseph Vidal-Rosset
  2013-10-05  7:58       ` Fabrice Niessen
@ 2013-10-05 20:52       ` Nicolas Richard
  2013-10-05 21:22         ` Joseph Vidal-Rosset
  1 sibling, 1 reply; 22+ messages in thread
From: Nicolas Richard @ 2013-10-05 20:52 UTC (permalink / raw)
  To: Joseph Vidal-Rosset; +Cc: Fabrice Niessen, emacs-orgmode

Hello Joseph,

Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com> writes:
> #+begin_equation
>  \label{ECQ}
> \neg A , A \vdash B
> \tag{ECQ}
> #+end_equation

IIUC, auckeys mode is not meant to insert latex constructs in org mode,
but to get an "org equivalent" or org-like effect for a given key chord.
The aim is to produce a classical org mode file, not a LaTeX only org
mode file.

> 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 never managed to do that in pure org mode : I sometimes write the
outline in org but at some point I export to latex and go on from there.
I'm so much more comfortable in auctex and latex, I have no plan to try
doing everything in org mode.

-- 
Nico.

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
  2013-10-05 20:52       ` Nicolas Richard
@ 2013-10-05 21:22         ` Joseph Vidal-Rosset
  0 siblings, 0 replies; 22+ messages in thread
From: Joseph Vidal-Rosset @ 2013-10-05 21:22 UTC (permalink / raw)
  To: Nicolas Richard; +Cc: Fabrice Niessen, emacs-orgmode list

Thanks Nicolas, your reply is helpful for me .

Best wishes,

Jo.

2013/10/5 Nicolas Richard <theonewiththeevillook@yahoo.fr>:
> Hello Joseph,
>
> Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com> writes:
>> #+begin_equation
>>  \label{ECQ}
>> \neg A , A \vdash B
>> \tag{ECQ}
>> #+end_equation
>
> IIUC, auckeys mode is not meant to insert latex constructs in org mode,
> but to get an "org equivalent" or org-like effect for a given key chord.
> The aim is to produce a classical org mode file, not a LaTeX only org
> mode file.
>
>> 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 never managed to do that in pure org mode : I sometimes write the
> outline in org but at some point I export to latex and go on from there.
> I'm so much more comfortable in auctex and latex, I have no plan to try
> doing everything in org mode.
>
> --
> Nico.

^ permalink raw reply	[flat|nested] 22+ messages in thread

* Re: AUCTeX key bindings within Org documents
       [not found]     ` <8661tlgy2w.fsf-oHC15RC7JGTNLxjTenLetw@public.gmane.org>
@ 2013-10-21 20:06       ` Fabrice Niessen
  0 siblings, 0 replies; 22+ messages in thread
From: Fabrice Niessen @ 2013-10-21 20:06 UTC (permalink / raw)
  To: Fabrice Niessen; +Cc: public-emacs-orgmode-mXXj517/zsQ-wOFGN7rlS/M9smdsby/KFg



Hello,

"Fabrice Niessen" wrote:
> Due to a friend's request, I've tried to offer AUCTeX key bindings
> within Org documents via a minor mode, called "org-auctex-keys".
> 
> If you're interested, check it out at
> https://github.com/fniessen/org-auctex-key-bindings.
> 
> Note that I'm willing to add extra AUCTeX keys -- but I don't use
> AUCTeX enough to know what's important to transfer to Org.

I've updated `org-auctex-keys' in the following way:

- `C-c C-c' runs a menu which looks a lot like AUCTeX's menu: pressing once the
  key binding calls the export process (that is, generates a PDF file);
  pressing a second time will display it (if available).

  Extra optimization: if the PDF files is newer than the Org file, then
  pressing `C-c C-c' will display it (avoiding to redo it).

- As there are a lot of conflicts between Org and AUCTeX keys, you now can call
  the standard Org command by prefixing the key binding with a `C-u' argument.
  Note that the first `C-u' is not passed onto the standard command.

  For example,

  + C-c C-c              calls my command `org-auckeys-export-dispatch'
  + C-u C-c C-c          calls the original `org-ctrl-c-ctrl-c' with no `C-u' arg (= 1)
  + C-u C-u C-c C-c      calls the original `org-ctrl-c-ctrl-c' with 1 `C-u' arg (= 4)
  + C-u C-u C-u C-c C-c  calls the original `org-ctrl-c-ctrl-c' with 2 `C-u' arg (= 16)
  + etc. (provided it makes sense)

- I've added a key binding to turn off/on "Org AUCKeys": `C-+'.

  So, to call a standard Org command, you can as well disable
  `org-auctex-keys', pressing the key binding you know in standard Org, and
  re-enable `org-auctex-keys', that is:

    C-+ C-c C-c C-+

  to call `org-ctrl-c-ctrl-c'.

Fabrice Niessen

-- 
Fabrice Niessen
Leuven, Belgium

^ permalink raw reply	[flat|nested] 22+ messages in thread

end of thread, other threads:[~2013-10-21 20:06 UTC | newest]

Thread overview: 22+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
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
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

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.