15 Feb
2011
15 Feb
'11
3: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