[racket-dev] unicode Delta vs unicode increment

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Mon Dec 10 12:43:14 EST 2012

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 "Delta" tex-shortcut-table) 1) 0))
> 
> On Mon, Dec 10, 2012 at 11:30 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
> > 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 reponse to typing \Delta<tex-compress-shortcut>.
> >>
> >> 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://www.fileformat.info/info/unicode/char/2206/index.htm
> >>   http://www.fileformat.info/info/unicode/char/394/index.htm
> >>
> >> But I think this is backwards and the pull request commentary suggests
> >> that there might be some confusion.
> >>
> >> So I think I should probably revert this commit and stick with \Delta
> >> as the actual Delta character.
> >>
> >> Am I getting this right? Or am I backwards yet again...?
> >>
> >> Thanks,
> >> Robby
> >> _________________________
> >>   Racket Developers list:
> >>   http://lists.racket-lang.org/dev

Posted on the dev mailing list.