From: Robby Findler (robby at cs.uchicago.edu) Date: Tue Jun 5 11:04:29 EDT 2007 |
|
On 6/5/07, Jens Axel Søgaard <jensaxel at soegaard.net> wrote: > Robby Findler skrev: > > Did you consider using utf-8? You can write something like this: > > > > [ n ∈ nat : (< n 10) ] > > Embarrasing question: How do I enter ∈ on Windows? Sorry -- no clue. Copy and paste? Robby
Posted on the users mailing list. |
|