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!
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
