From: Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>
To: emacs-orgmode list <emacs-orgmode@gnu.org>
Subject: how using TexLive on a website like in org-mode?
Date: Fri, 04 Jan 2019 18:17:23 +0100 [thread overview]
Message-ID: <87muogs5p8.fsf@gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1021 bytes --]
Hello the list,
Happy New Year to everybody!
I have a dedicated server for a personal website and I wonder how it is
possible to use texlive as most as possible into html webpages, in the
same way that we export via org-mode.
I would be glad for example to use the proof.sty package to import png
images like in this email, to get for example the image of this formal
derivation
\[
\infer[^{L\lnot {\rm \mathit{def}}}]{\lnot \lnot P \Rightarrow P}{
\infer[^{L\lnot {\rm \mathit{def}}}]{\lnot P \supset \bot \Rightarrow P}{
\infer[^{L\supset\supset}]{(P \supset \bot) \supset \bot \Rightarrow P}{
\infer[^{{\rm \mathit{Ax_{c}}}}]{\bot \supset \bot, P \Rightarrow \bot, P}{}
&
\infer[^{L\bot}]{\bot \Rightarrow P}{}
}
}
}
\]
in a html webpage easily. But I do not know how to do. The CMS that I
am using is /not/ WordPress, but SPIP
[[https://www.spip.net/en_rubrique25.html]]
Help would be very welcome.
Again, happy 2019 to everybody!
--
Jo.
[-- Attachment #2.1: Type: text/html, Size: 1027 bytes --]
[-- Attachment #2.2: latexOKipHQ_965c81b37f619110e88580d158cdda66b04b6eb0.png --]
[-- Type: image/png, Size: 2070 bytes --]
next reply other threads:[~2019-01-04 17:17 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-01-04 17:17 Joseph Vidal-Rosset [this message]
2019-01-04 17:53 ` how using TexLive on a website like in org-mode? Eric S Fraga
2019-01-04 18:19 ` Joseph Vidal-Rosset
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=87muogs5p8.fsf@gmail.com \
--to=joseph.vidal.rosset@gmail.com \
--cc=emacs-orgmode@gnu.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.