[racket] A question about code-style (and memory usage)

From: Eli Barzilay (eli at barzilay.org)
Date: Thu Aug 4 03:16:19 EDT 2011

25 minutes ago, Marijn wrote:
> On 07/26/11 23:11, Eli Barzilay wrote:
> > 
> > I don't think that there are such characters.
> What's wrong with ⋁ (U+22C1) and ⋀ (U+22C0)? (Also known as bigwedge
> and bigvee in LaTeX.)

Nothing, except for being hard to find...

7 minutes ago, Neil Van Dyke wrote:
> [...]  Both languages should provide ASCII identifiers, and cute
> Unicode symbol identifiers as aliases for the ASCII, so people can
> use which they choose.

... and the displayed error you get when you type ∧ instead of ⋀.

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the users mailing list.