emacs-orgmode@gnu.org archives
 help / color / mirror / code / Atom feed
* Texlive packages in Gnus via Org
@ 2014-01-09 10:04 Joseph Vidal-Rosset
  2014-01-09 10:49 ` Bastien
  0 siblings, 1 reply; 6+ messages in thread
From: Joseph Vidal-Rosset @ 2014-01-09 10:04 UTC (permalink / raw)
  To: Liste-emacs-orgmode@gnu.org 

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

#+OPTIONS: latex:t

Hello Nick, Bastien, Eric, Uwe, and the list, 

I know that I am obstinate, but  I am obstinate about this topic because
I   feel    that   what   I   would    be   happy   to   get    is   not
impossible. Unfortunately, I am an amateur, bad in programming languages
and I am unable to reach by myself this goal. 

Now I am  finally able to write  a formula in a Gnus  article, like this
simple one for example $ p \to p $ . 

But I need more. If I write 

#+begin{equation}
A \vdash_{m} \neg \neg A
#+end{equation}

I am not sure that it will work. It would be already very nice. 

I know that the latex code 

#+BEGIN_SRC
  \begin{equation}
  A \vdash_{m} \neg \neg A
  \end{equation}
#+END_SRC

will  not work,  neither for  example if  I try  to use  another texlive
package like bussproofs. 

I wonder  how it is  possible to get png  images in Gnus  for everything
that is created by  latex, as it is possible already to  get it for html
via org export. 

It could be  very nice for the  scientific community to get  such a tool
thanks to Gnus + Org. 

Best wishes, 

Jo. 

[-- Attachment #2.1: Type: text/html, Size: 1331 bytes --]

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

* Re: Texlive packages in Gnus via Org
  2014-01-09 10:04 Texlive packages in Gnus via Org Joseph Vidal-Rosset
@ 2014-01-09 10:49 ` Bastien
  2014-01-09 11:18   ` Joseph Vidal-Rosset
  0 siblings, 1 reply; 6+ messages in thread
From: Bastien @ 2014-01-09 10:49 UTC (permalink / raw)
  To: Joseph Vidal-Rosset; +Cc: Liste-emacs-orgmode@gnu.org 

Hi Joseph,

Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com> writes:

> I wonder how it is possible to get png images in Gnus for everything
> that is created by latex, as it is possible already to get it for
> html
> via org export.

One indirect way is to run M-x org-preview-latex-fragment RET in a
buffer containing the equations, then inlining the .png files from
the ltxpng/ directory.

I can't think of something more direct right now.

> It could be very nice for the scientific community to get such a tool
> thanks to Gnus + Org.

By reading Cedric Villani last book, I was under the impression
that the whole scientific community was able to read TeX equations
directly, with no need of visual feedback ;)  But agreed, this
would be nice.

-- 
 Bastien

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

* Re: Texlive packages in Gnus via Org
  2014-01-09 10:49 ` Bastien
@ 2014-01-09 11:18   ` Joseph Vidal-Rosset
  2014-01-09 11:23     ` Joseph Vidal-Rosset
  0 siblings, 1 reply; 6+ messages in thread
From: Joseph Vidal-Rosset @ 2014-01-09 11:18 UTC (permalink / raw)
  To: Bastien; +Cc: Liste-emacs-orgmode@gnu.org 

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

#+OPTIONS: latex:t
Le jeu.  09 janv. 2014  à 11:49:14 ,  Bastien <bzg@gnu.org> a  envoyé ce
message:
> Hi Joseph,
>
> Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com> writes:
>
>> I wonder how it is possible to get png images in Gnus for everything
>> that is created by latex, as it is possible already to get it for
>> html
>> via org export.
>
> One indirect way is to run M-x org-preview-latex-fragment RET in a
> buffer containing the equations, then inlining[fn:1] the .png files from
> the ltxpng/ directory.
>
> I can't think of something more direct right now.

I try: 


\begin{equation}
\neg \neg A \vdash_{m} A
\end{equation}


It seems  that it will  work for the equation  package, but it  does not
work with  for example  other packages: the  prooftree command  given by
bussproofs package does not work,

\begin{prooftree}
\AxiomC{$A$}
\AxiomC{$A \to \bot$}
\RightLabel{\scriptsize{$\to E$}}
\BinaryInfC{$\bot$}
\end{prooftree}


neither fitch proofs: 

\begin{equation*}
\begin{fitch}
\fh A & H \\
\fa \fh \bot & H \\
\fa A \to \bot 
\end{fitch}
\end{equation*}




>
>> It could be very nice for the scientific community to get such a tool
>> thanks to Gnus + Org.
>
> By reading Cedric Villani last book, I was under the impression
> that the whole scientific community was able to read TeX equations
> directly, with no need of visual feedback ;)  But agreed, this
> would be nice.

The scientific community  can live without this tool, of  course, but it
would be nice if Org + Gnus  could be the email client par excellence of
this community. I am happy to see that you agree. 

Best wishes,

Jo. 

[fn:1] I guess  that  by "inlining"  you mean  making  the command  M-x
org-mime-htmlize  . But  I am  not sur  that is  what you  meant. It  is
nevertheless already  a great pleasure of  making Org working in  Gnus !
What a terrific tool ! 

[-- Attachment #2.1: Type: text/html, Size: 3075 bytes --]

[-- Attachment #2.2: latex6879-dX_b3a8f89e4d9ae735182bfa943e20e2e087009aa9.png --]
[-- Type: image/png, Size: 584 bytes --]

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

* Re: Texlive packages in Gnus via Org
  2014-01-09 11:18   ` Joseph Vidal-Rosset
@ 2014-01-09 11:23     ` Joseph Vidal-Rosset
  2014-01-09 12:18       ` Joseph Vidal-Rosset
  0 siblings, 1 reply; 6+ messages in thread
From: Joseph Vidal-Rosset @ 2014-01-09 11:23 UTC (permalink / raw)
  To: Bastien; +Cc: Liste-emacs-orgmode@gnu.org 

Le   jeu.   09   janv.   2014   à   12:18:48   ,   Joseph   Vidal-Rosset
<joseph.vidal.rosset@gmail.com> a envoyé ce message:
> Le jeu. 09 janv. 2014 à 11:49:14 , Bastien <bzg@gnu.org> a envoyé ce
> message:
>> Hi Joseph,
>>
>> Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com> writes:
>>
>>> I wonder how it is possible to get png images in Gnus for everything
>>> that is created by latex, as it is possible already to get it for
>>> html
>>> via org export.
>>
>> One indirect way is to run M-x org-preview-latex-fragment RET in a
>> buffer containing the equations, then inlining^1 the .png files from
>> the ltxpng/ directory.
>>
>> I can't think of something more direct right now.
>
> I try:
>
> \begin{e
>
> It seems that it will work for the equation package, but it does not
> work with for example other packages: the prooftree command given by
> bussproofs package does not work,

Errata: read the index "m" in this formula as "c". It is a formula valid
in classical logic of  course, and not in minimal logic.  But it was not
the point of my email. 

:)

Jo. 

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

* Re: Texlive packages in Gnus via Org
  2014-01-09 11:23     ` Joseph Vidal-Rosset
@ 2014-01-09 12:18       ` Joseph Vidal-Rosset
  2014-01-09 12:35         ` Joseph Vidal-Rosset
  0 siblings, 1 reply; 6+ messages in thread
From: Joseph Vidal-Rosset @ 2014-01-09 12:18 UTC (permalink / raw)
  To: Bastien; +Cc: Liste-emacs-orgmode@gnu.org 

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

#+OPTIONS: latex:t
#+LATEX_HEADER: \usepackage{bussproofs}

Maybe by adding  in headers LaTex Header  in the style of a  org file it
could work

\begin{prooftree}
\AxiomC{$A$}
\AxiomC{$A \to \bot$}
\RightLabel{\scriptsize{$\to E$}}
\BinaryInfC{$\bot$}
\end{prooftree}


it works !!!

Thanks a lot Bastien, you are a genius !

Best wishes,

Jo. 

[-- Attachment #2.1: Type: text/html, Size: 494 bytes --]

[-- Attachment #2.2: latex6879Y5X_5a473d324e2f0d6a44d1ea34bd1a35a78bf357d7.png --]
[-- Type: image/png, Size: 548 bytes --]

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

* Re: Texlive packages in Gnus via Org
  2014-01-09 12:18       ` Joseph Vidal-Rosset
@ 2014-01-09 12:35         ` Joseph Vidal-Rosset
  0 siblings, 0 replies; 6+ messages in thread
From: Joseph Vidal-Rosset @ 2014-01-09 12:35 UTC (permalink / raw)
  To: Bastien; +Cc: Liste-emacs-orgmode@gnu.org 

Hello the list, 

The good news is that it is therefore of course already possible NOW to use Org
inside Gnus and  that everyone can use  the export into html  for a very
clean scientific correspondence. 

Many thanks to  Carsten Dominik, to Bastien Guerry, to  Eric Schulte and
Dan Davidson, and to all this great  team of Org. Forgive me if I cannot
quote all the names. 


Best wishes, and happy new year again !

Jo.

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

end of thread, other threads:[~2014-01-09 12:35 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-01-09 10:04 Texlive packages in Gnus via Org Joseph Vidal-Rosset
2014-01-09 10:49 ` Bastien
2014-01-09 11:18   ` Joseph Vidal-Rosset
2014-01-09 11:23     ` Joseph Vidal-Rosset
2014-01-09 12:18       ` Joseph Vidal-Rosset
2014-01-09 12:35         ` Joseph Vidal-Rosset

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).