(thing) by ariels Mon Jun 12 2000 at 13:03:55
A logical or of several (generally more than 2) "terms". Since logical or is an associative binary operation, this makes sense.

Often denoted with a large "∨", used like a \sum (Sigma) or an integral sign: x1 ∨ ... ∨ xn is 

    n
  \  /
   \/     x
  i = 1    i
I like it!