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