From: Ian Goddard (igoddard@erols.com)
Date: Mon Feb 23 1998 - 09:23:05 MST
If A implies B to a degree equal to
that in which B implies A, then A = B.
IF (A => B) = (A <= B)
THEN A = B
IF A <=> B
THEN A = B
ERGO: "<=>" = "="
This archive was generated by hypermail 2.1.5 : Fri Nov 01 2002 - 14:48:38 MST