  We propose a variation of Bell inequalities for continuous variables that
employs the Wigner function and Weyl symbols of operators in phase space. We
present examples of Bell inequality violation which beat Cirel'son's bound.
