Marijn wrote at 08/04/2011 02:50 AM:
What's wrong with ⋁ (U+22C1) and ⋀ (U+22C0)? (Also known as bigwedge and
bigvee in LaTeX.)
FWIW, I would someday like to use those symbols in some logic
programming mini-language embedded in Racket code. I assume that this
won't conflict linguistically with their use in other ways, although
someone looking at Racket code with embedded logic programming bits
might prefer to use the cute symbols for the logic bits, and the longer
names like "and" in the surrounding, algorithmic Racket code, just to
help visually distinguish the two languages. Both languages should
provide ASCII identifiers, and cute Unicode symbol identifiers as
aliases for the ASCII, so people can use which they choose.
--
http://www.neilvandyke.org/
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
