On Tue, 30 Jan 2007, Riccardo (Jack) Lucchetti wrote:
X = (a ~ b') ~' ( c ~' d)
and
X = (a ~' b') ~' ( c' ~ d)
are not immediate to tell apart.
Yikes, no, I don't like that.
Hence, my counter-proposal (which, I admit, does have drawbacks,
but is still preferable IMHO): use "|" for vertical
concatenation and switch to "&&" and "||" for logical
operators.
It will break existing syntax, but it'd be better in the long
run.
That does make sense, but I'm a bit reluctant to change the
meaning of logical "&" and "|" right now -- though we could do
that later with fair warning.
How about '#' for now? It's not pretty (or standard), but it
shouldn't collide with anything and is visually distinctive.
Allin