LaTeX в ЖЖ

[codedot]

deni_ok @ 2008-07-18 20:40:00:

Написал

<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)):*">

Получил



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