Entry tags:
Detexify2 - LaTeX symbol classifier
Замечательный сервис поиска управляющих последовательностей для символов LaTeX.
http://detexify.kirelabs.org/classify.html
10x![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
beshenov
http://detexify.kirelabs.org/classify.html
10x
beshenovLaTeX в ЖЖ
Написал
<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)):*">
получил
Потирает руки и мурлычет :)