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

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

[nealar.livejournal.com]

> Помнится, видел, один чУвак
на лекциях с нотбуком сидел,
и в реал-времени в Tex набирал.
> Попробуй-как так же в HTML ?
Буков в HTML чуть поменьше будет, но, мне кацца, нереально это. Чуваг, наверно, макросов наопределял нужных. Хотя plain text со скоростью лекции, всё равно, мне кажется нереальным.

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

[nivanych.livejournal.com]

Жать, не достать его.
А то б спросил подробнее.

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

[nealar.livejournal.com]

Может он для plain text тоже макросов наопределял? Как некоторые на бумаге писали "д-во","св-ва" и прочий ужос. А то что в эти спецтермины не умещалось, просто игнорировал.

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

[nivanych.livejournal.com]

Низнайу ...
Сейчас можно только догадываться.
Но получалось приикольно !

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

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

> Как некоторые на бумаге писали "д-во","св-ва" и прочий ужос.

Паапрашу!

Один товарищ, взяв мой конспект по, кажись, социологии (или другой какой-то лженауке), сказал, что мне следует писать архиваторы. Конспект занимал три листа, но при этом содержал всё.

Это, конечно, не идеал, но ИМХО близко.