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