Announcing E 0.8.4: The Birthday Release

[Ka-Ping Yee]

On Fri, 28 May 1999, Mark S. Miller wrote:
> 
> as documented in the previous release notes.  And
> 
> 	x |=| y
> 
> meaning that x and y are equivalent in their natural partial ordering.
> This is a peer to <, <=, >=, and >.  Think of 'x |=| y' as 'x <= y && x >= y'.

[#] How about <=> instead, to make more obvious their kinship?
Pipe characters don't appear in any of the other operators in
this family, and <=> is a clearer mnemonic for <= && =>.




!ping

"Computers are the tools of the devil. It is as simple as that. There is no
monotheism strong enough that it cannot be shaken by Unix or any Microsoft
product. The devil is real. He lives inside C programs." -- philg@mit.edu