(=> 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 is surprisiNg 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)