From: Stephan Houben (stephanh at planet.nl) Date: Thu Aug 4 04:19:12 EDT 2011 |
|
On 08/04/2011 09:16 AM, Eli Barzilay wrote: > ... and the displayed error you get when you type ∧ instead of ⋀. That's one of the nasty things about Unicode, which can get even worse: > (let ((μ 42)) µ) reference to undefined identifier: µ First is "GREEK SMALL LETTER MU (U+03BC)", second is "MICRO SIGN (U+00B5)". And then there are combining characters vs. precomposed characters. Stephan
Posted on the users mailing list. |
|