LaTeX в ЖЖ
Jul. 18th, 2008 08:40 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Написал
<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)):*">
получил
Потирает руки и мурлычет :)
неубедительно
Date: 2008-07-18 05:25 pm (UTC)Походу, в педивикии формулы делают именно этим способом.
Re: неубедительно
Date: 2008-07-18 05:46 pm (UTC)И вообще, TeX делает красиво :)
Re: неубедительно
Date: 2008-07-18 09:12 pm (UTC)Re: неубедительно
Date: 2008-07-18 09:33 pm (UTC)порождается кодом
Фишка в том, что в 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)Re: неубедительно
Date: 2008-07-19 12:19 pm (UTC)Попробуй, набери то же в HTML.
Однозначно, будет сложнее.
А если ещё иметь опыт в Tex,
так совсем замечательно будет.
Помнится, видел, один чУвак
на лекциях с нотбуком сидел,
и в реал-времени в Tex набирал.
Попробуй-как так же в HTML ?
То-то же ;-)
Re: неубедительно
Date: 2008-07-19 03:08 pm (UTC)на лекциях с нотбуком сидел,
и в реал-времени в Tex набирал.
> Попробуй-как так же в HTML ?
Буков в HTML чуть поменьше будет, но, мне кацца, нереально это. Чуваг, наверно, макросов наопределял нужных. Хотя plain text со скоростью лекции, всё равно, мне кажется нереальным.
Re: неубедительно
Date: 2008-07-19 03:42 pm (UTC)А то б спросил подробнее.
Re: неубедительно
Date: 2008-07-19 04:34 pm (UTC)Re: неубедительно
Date: 2008-07-19 04:43 pm (UTC)Сейчас можно только догадываться.
Но получалось приикольно !
Re: неубедительно
Date: 2008-07-20 10:46 pm (UTC)Паапрашу!
Один товарищ, взяв мой конспект по, кажись, социологии (или другой какой-то лженауке), сказал, что мне следует писать архиваторы. Конспект занимал три листа, но при этом содержал всё.
Это, конечно, не идеал, но ИМХО близко.
Re: неубедительно
Date: 2008-07-19 02:17 pm (UTC)Там везде ссылка на .png'шки.
А вот генерируют их, и правда, из TeX'а.
Re: неубедительно
Date: 2008-07-19 03:06 pm (UTC)no subject
Date: 2008-07-18 08:12 pm (UTC)no subject
Date: 2008-07-19 12:16 pm (UTC)Как раз искал чего поудобнее !
Для жж лучше и не найти !
И заодно хороший повод TeX учить ;-)
no subject
Date: 2008-07-19 03:43 pm (UTC)http://www.forkosh.com/mimetex.html
Хорошая штука.
no subject
Date: 2008-07-19 04:45 pm (UTC);-|
Неинтересно, пакетов типа diagrams нету ...
Как же я буду диаграммы рисовать-то ? ...
Разве что, массивами, но это хреновато ...
no subject
Date: 2008-07-19 09:46 pm (UTC)Да, там даже пакета xy нету, с помощью которого можно было бы их делать.
http://www.dpmms.cam.ac.uk/~al366/misctutorial/CommDiagrams/
no subject
Date: 2008-07-20 06:09 am (UTC)no subject
Date: 2008-07-20 06:53 am (UTC)получается "http://www.codecogs.com/eq.latex?\nabla+x"
no subject
Date: 2008-07-20 07:04 am (UTC)no subject
Date: 2008-07-20 07:13 am (UTC)пробелы, конечно
Date: 2008-07-20 07:16 am (UTC)Re: пробелы, конечно
Date: 2008-07-20 07:30 am (UTC)Почему про неё никто не знает ?
no subject
Date: 2008-07-20 07:26 am (UTC)no subject
Date: 2008-07-20 07:32 am (UTC)no subject
Date: 2008-07-20 10:36 pm (UTC)A: ∗, P: A⟶∗ ⊢ (λa: A λx: Pa.x): (∏a: A.(Pa⟶Pa)): ∗
no subject
Date: 2008-07-20 10:41 pm (UTC)Похоже, съело.
no subject
Date: 2008-07-20 10:43 pm (UTC)no subject
Date: 2008-07-21 06:09 am (UTC)no subject
Date: 2008-08-06 06:57 am (UTC)http://ro-che.info/docs/tex2html.pl.gz