LaTeX в ЖЖ
Jul. 18th, 2008 08:40 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
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)):*">
получил
:(\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)):*">
получил
Потирает руки и мурлычет :)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
Re: неубедительно
Date: 2008-07-18 09:33 pm (UTC)порождается кодом
\underbrace{a+\overbrace{b+\cdots+y}^{24}+z}_{26}Фишка в том, что в LaTeX'е определены практически все макросы, нужные для набора естественно-научных формул (типа \overbrace x^y растягивающегося по ширине x). И учтены тонкости, основанные на знаниях, накопленных за несколько веков естественно-научной типографики - Кнут подошел к делу крайне серьезно и основательно.А так да, всякое изображение можно из примитивов ручками собрать, кто бы спорил.
Re: неубедительно
Date: 2008-07-19 03:36 am (UTC)> всякое изображение можно из примитивов ручками собрать
Но красиво получится далеко не всегда.
Re: неубедительно
Date: 2008-07-19 07:45 am (UTC)Технически, на самом низком уровне в TeX'е эти фигурные скобочки именно из кусочков собираются - вставляется горизонтальный отрезок подходящего размера. Вот, кстати, ещё один пример
Три самых больших корня идентичны и отличаются только наращиванием вертикального сегмента. А остальные четыре - отдельные символы :)
Re: неубедительно
Date: 2008-07-19 08:39 am (UTC)Но руками пишется ведь не на самом низком уровне, а кагбе декларативно?
Кстати, есть
Re: неубедительно
Date: 2008-07-19 08:40 am (UTC)Re: неубедительно
Date: 2008-07-19 09:34 am (UTC)Leslie Lamport, LaTeX A Document Preparation System. Это книга автора LaTeX'а.
Ну и The TexBook Кнута (в русском переводе Всё про TeX). Хотя последнее как раз полезно, если хочется разобраться как всё устроено до самых основ. А набирают все в LaTeX'е, который есть надстройка над TeX.
ЗЫ: Вот вроде это хвалят ftp://ftp.vsu.ru/pub/tex/docs/lshortru.pdf.gz.
Вообще запости лучше вопрос в
спасибо!
Date: 2008-07-20 04:23 pm (UTC)Re: спасибо!
Date: 2008-07-20 04:24 pm (UTC)