deniok: (Default)
Замечательный сервис поиска управляющих последовательностей для символов LaTeX.

http://detexify.kirelabs.org/classify.html

10x [livejournal.com profile] beshenov
deniok: (Default)
Написал
<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)):*">
получил


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

Profile

deniok: (Default)
deniok

April 2017

S M T W T F S
      1
23 45678
9101112131415
16171819202122
23242526272829
30      

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 10:32 pm
Powered by Dreamwidth Studios