Digraphs *and* Unicode pretty-glyphs, for arrows, triangle, etc.

Allen Wirfs-Brock allen at wirfs-brock.com
Thu Apr 5 08:27:25 PDT 2012


On Apr 4, 2012, at 10:23 PM, Brendan Eich wrote:

> From http://www.scala-lang.org/node/4723 (hat tip *Corey Farwell*‏@*frewsxcv* <https://twitter.com/#%21/frewsxcv>
> 
> *
> 
> 
> ):
> 
> |=>   ⇒   // implemented
> <-  ←   // implemented
> ->   →   // implemented
> ==  ⩵
>>>> <<   ≪
>>>>>> =  ≥
> <=  ≤
> ::  ∷|
> 
> 
> Corey suggested editors could do the input conversion when users type the digraph. If Scala can go here, why not JS?


I'm glad to see everybody getting on the bandwagon https://mail.mozilla.org/pipermail/es-discuss/2012-March/020908.html 
;-)

Allen








-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20120405/e9b6f22c/attachment.html>


More information about the es-discuss mailing list