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)):*">
получил
:(\Pi%20a:A\,.\,(Pa\rightarrow%20Pa)):*)
Потирает руки и мурлычет :)
<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: неубедительно
Но руками пишется ведь не на самом низком уровне, а кагбе декларативно?
Кстати, есть
Re: неубедительно
Re: неубедительно
Leslie Lamport, LaTeX A Document Preparation System. Это книга автора LaTeX'а.
Ну и The TexBook Кнута (в русском переводе Всё про TeX). Хотя последнее как раз полезно, если хочется разобраться как всё устроено до самых основ. А набирают все в LaTeX'е, который есть надстройка над TeX.
ЗЫ: Вот вроде это хвалят ftp://ftp.vsu.ru/pub/tex/docs/lshortru.pdf.gz.
Вообще запости лучше вопрос в
спасибо!
Re: спасибо!