deniok: (Default)
deniok ([personal profile] deniok) wrote2008-07-18 08:40 pm
Entry tags:

LaTeX в ЖЖ

Написал
<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)):*">
получил


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

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

[identity profile] nealar.livejournal.com 2008-07-19 08:39 am (UTC)(link)
Красотища!
Но руками пишется ведь не на самом низком уровне, а кагбе декларативно?
Кстати, есть

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

[identity profile] nealar.livejournal.com 2008-07-19 08:40 am (UTC)(link)
ли дока, чтоб ТеХ учить не фундаментально, с основ, а с самых простых вещей: от простого текста к более и более навороченной разметке?

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

[identity profile] deni-ok.livejournal.com 2008-07-19 09:34 am (UTC)(link)
У меня всё бумажное.
Leslie Lamport, LaTeX A Document Preparation System. Это книга автора LaTeX'а.
Ну и The TexBook Кнута (в русском переводе Всё про TeX). Хотя последнее как раз полезно, если хочется разобраться как всё устроено до самых основ. А набирают все в LaTeX'е, который есть надстройка над TeX.

ЗЫ: Вот вроде это хвалят ftp://ftp.vsu.ru/pub/tex/docs/lshortru.pdf.gz.

Вообще запости лучше вопрос в [livejournal.com profile] ru_tex

спасибо!

[identity profile] nealar.livejournal.com 2008-07-20 04:23 pm (UTC)(link)
Читается прям как вода пьётся.

Re: спасибо!

[identity profile] kurilka.livejournal.com 2008-07-20 04:24 pm (UTC)(link)
Присоединяюсь!