Re: [racket-dev] unicode Delta vs unicode increment

2012-12-10 Thread Robby Findler
Argh. I confuse easily. I think what's currently pushed is right. Knock on wood. Robby On Mon, Dec 10, 2012 at 11:43 AM, Matthew Flatt wrote: > No --- it should be 916 (= #x394), which is Greek uppercase delta. > > At Mon, 10 Dec 2012 11:34:13 -0600, Robby Findler wrote: >> Lets just double chec

Re: [racket-dev] unicode Delta vs unicode increment

2012-12-10 Thread Matthew Flatt
No --- it should be 916 (= #x394), which is Greek uppercase delta. At Mon, 10 Dec 2012 11:34:13 -0600, Robby Findler wrote: > Lets just double check. This expression is supposed to return 8710, right? > > #lang racket > (require mrlib/tex-table) > (char->integer (string-ref (list-ref (assoc "Delt

Re: [racket-dev] unicode Delta vs unicode increment

2012-12-10 Thread Robby Findler
Lets just double check. This expression is supposed to return 8710, right? #lang racket (require mrlib/tex-table) (char->integer (string-ref (list-ref (assoc "Delta" tex-shortcut-table) 1) 0)) On Mon, Dec 10, 2012 at 11:30 AM, Matthew Flatt wrote: > No, I think this commit is actually right. I g

Re: [racket-dev] unicode Delta vs unicode increment

2012-12-10 Thread Matthew Flatt
No, I think this commit is actually right. I got confused, and I managed to confuse Robby... At Mon, 10 Dec 2012 11:26:42 -0600, Robby Findler wrote: > I recently pushed this commit: > > http://git.racket-lang.org/plt/commit/6babc9ec56d60fba9f3fe6969901a378da266f82 > > that changes DrRacket's re

[racket-dev] unicode Delta vs unicode increment

2012-12-10 Thread Robby Findler
I recently pushed this commit: http://git.racket-lang.org/plt/commit/6babc9ec56d60fba9f3fe6969901a378da266f82 that changes DrRacket's reponse to typing \Delta. I see now, however, that this commit changed it FROM U+0394 to U+2206, ie from Delta to Increment. Here's the chars in question: http