Timeline for What is the type theory judgement symbol?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 22, 2012 at 9:51 | comment | added | Raphael | Too many badly drawn crosses trained. | |
| Jun 22, 2012 at 9:43 | comment | added | Dave Clarke | I couldn't help but try Detexify. I couldn't get it to recognise $\vdash$ either. Grrr. | |
| Jun 22, 2012 at 3:03 | comment | added | edA-qa mort-ora-y | Shapecatcher is nice. So many symbols. I also trained Detexify until it now comes up near the top. | |
| Jun 21, 2012 at 23:52 | history | answered | Gilles 'SO- stop being evil' | CC BY-SA 3.0 |