English binary logic operators

[Bill Baxter]

Daniel Keep wrote:
> 
> (In fact, mathematicians seem to *love* inventing new symbols: the guy
> who invented lambda calculus originally wanted to introduce a new
> symbol.  But when it was sent off to be published, the typesetter
> mistook his new symbol for a lambda (λ), and it kinda stuck :P)

I remember when I was first learning Japanese, it occurred to me "Whoa! 
now I'll never run out of single-character variable names when doing 
math equations!"

For some reason it didn't actually prove to be that useful, though. 
Even the Japanese don't use Japanese symbols in their math for some 
reason, just Roman and Greek letters like everyone else.  Every once in 
a while I'll use an 「あ」 to represent some big sub-expression that 
doesn't have much meaning but keeps on re-appearing in derivations.  But 
that's about it.

--bb