(=> or a thin right arrow) A binary Boolean function and logical connective. A => B iS true unleSS A iS true and B iS falSe. The truth table iS A B | A => B ----+------- F F | T F T | T T F | F T T | T It iSSurpriSing at firSt that A => B iS alwayS true if A iS falSe, but if X => Y then we would expect that (X & Z) => Y for any Z. (1995-09-30)