LaTeX в ЖЖ

[deniok]

Написал
<img src="http://www.codecogs.com/eq.latex? A:*,P:A\rightarrow *\ \vdash\ (\lambda a:A\ \lambda x:Pa\,.\,x):(\Pi a:A\,.\,(Pa\rightarrow Pa)):*">
получил


Потирает руки и мурлычет :)

Comments

неубедительно

[nealar.livejournal.com]

Не вижу преимуществ перед HTML. Недостатки вижу. Это я не к тому, что подход плохой, а к тому что покажи преимущества. Наверняка они есть.

Походу, в педивикии формулы делают именно этим способом.

[kurilka.livejournal.com]

В меморис (правда с техом я так и не разобрался до конца)

[nivanych.livejournal.com]

Класс !
Как раз искал чего поудобнее !
Для жж лучше и не найти !

И заодно хороший повод TeX учить ;-)

[nivanych.livejournal.com]

Наверное, это делается на mimeTeX.
http://www.forkosh.com/mimetex.html
Хорошая штука.

[nivanych.livejournal.com]

Поигрался я ... эх ...
;-|
Неинтересно, пакетов типа diagrams нету ...
Как же я буду диаграммы рисовать-то ? ...
Разве что, массивами, но это хреновато ...

[ivan-gandhi.livejournal.com]

О ё. Вот чем, наверное, надо пользоваться...

[migmit.vox.com (from livejournal.com)]

А ну-ка, попробуем, съест или нет:

A: ∗, P: A⟶∗ ⊢ (λa: A λx: Pa.x): (∏a: A.(Pa⟶Pa)): ∗

[ro-che.livejournal.com]

О, круто :) Я недавно искал нечто подобное, в итоге обошелся HeVeA, вот что получилось (http://ro-che.blogspot.com/2008/07/while-working-on-physics-engine-i-have.html).

[ro-che.livejournal.com]

Скрипт, который преобразует $...$ и $$...$$ формулы в ссылки на рисунки. Авось кому-то пригодится.
http://ro-che.info/docs/tex2html.pl.gz