Address #41: Update unicode reader for unicode chars
Just add a note that #\u+nnnn works even if nnnn is outside the
BMP. Not strictly legal, but very useful.
Just add a note that #\u+nnnn works even if nnnn is outside the
BMP. Not strictly legal, but very useful.