scribble: another Unicode mapping for Latex output

This mapping is needed by the "redex-unstable" documentation.

Merge to v6.1
update racket/HISTORY.txt

Merge to v6.1