🚀 go-pugleaf

>A-->B = if A then B
>A<-->B = A if and only if B
>A<--B = A only if B = if B then A  This is read: A is true only if B is
>true since a true statement cannot imply a falsehood.

  Appologies, this is clearly wrong. :(  That's what I get for posting
late at night and thinking about things like necessary and sufficient.
Guess that puts me one up on Dogwood (Much Ado About Nothing) as he only
wanted to be written down an ass.  :):):)
  Let's try again:  How about A only if B = (B-->A)&(-B-->-a)
bv