∃xistential Type » symbols http://existentialtype.net For People Who Like Type and Types Fri, 29 Oct 2010 15:00:12 +0000 en hourly 1 http://wordpress.org/?v=3.3 Finding symbols graphically http://existentialtype.net/2009/08/10/finding-symbols-graphically/ http://existentialtype.net/2009/08/10/finding-symbols-graphically/#comments Mon, 10 Aug 2009 15:22:01 +0000 washburn http://existentialtype.net/?p=329 Jeff pointed me to these extremely cool and useful web application: Detexify2.  At least a few of you readers have spent time skimming The Comprehensive LaTeX Symbol List looking for the incantation required for a specific symbol. With Detexify2 you can just scribble something that roughly looks the symbol and it will tell you the name and, if necessary, the LaTeX package that provides it.

The only problem is that it lets users help train the recognizer.  This can also be a good thing, but I can imagine a few malicious users (or perhaps just people with very bad drawing skills) ruining it for everyone.

]]> http://existentialtype.net/2009/08/10/finding-symbols-graphically/feed/ 2 Gentzen Symbol released http://existentialtype.net/2008/03/30/gentzen-symbol-released/ http://existentialtype.net/2008/03/30/gentzen-symbol-released/#comments Sun, 30 Mar 2008 08:54:24 +0000 washburn http://existentialtype.net/?p=233 I just finished hastily packaging up a prototype release of Gentzen Symbol (I can't avoid working on my ICFP paper all day).  I would of course be interested in any feedback or problems people might have if they try using it, or suggestions on how to improve the design of the glyphs for future releases or development.

]]> http://existentialtype.net/2008/03/30/gentzen-symbol-released/feed/ 3