15 Feb
2011
15 Feb
'11
4:35 p.m.
On Feb 15, 2011, at 15:57 , Nikodemus Siivola wrote:
On 15 February 2011 16:37, Pascal Costanza pc@p-cos.net wrote:
What about "EQUIVALENT" or "EQUIV", or "EQUIVP"?
Or "EQUALS" ?
Well, that looks ok, but it sort of implies a subject-verb-complement relation.
I would go for EQUIV or even == (two equal signs).
Cheers
-- Marco Antoniotti