Tuesday, March 10, 2009

ooooh, check out this hot action!!!

\>$\{{\rm EAT}:(\forall i:1\leq i\leq 5:{\rm eating}[i] \Rightarrow \neg({\rm
  eaiting}[i\ominus 1] \vee {\rm eating}[i\oplus 1]))\}$\\

No comments: