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}
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/