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

Thaddee Tyl thaddee.tyl at gmail.com
Thu Apr 5 04:29:06 PDT 2012


On Thu, Apr 5, 2012 at 7:23 AM, Brendan Eich <brendan at mozilla.org> 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?

↑1 ⍵∨.^3 4=+/,¯1 0 1∘.⊖¯1 0 1∘.⌽⊂⍵


More information about the es-discuss mailing list