(...[RMODE][ref] -> (...[RMODE] & ref) != 0
commitf9b6ba9fc81b49d21893b3c09ee57c17258b410d
authorTommy Thorn <tommy-git@thorn.ws>
Thu, 18 Mar 2010 08:31:24 +0000 (18 01:31 -0700)
committerTommy Thorn <tommy-git@thorn.ws>
Thu, 18 Mar 2010 08:31:24 +0000 (18 01:31 -0700)
tree4959a043333f9fe731635d9d0184d2a71b312ee1
parent2015d41b0dec2e861ab87178bd1469b080918866
(...[RMODE][ref] -> (...[RMODE] & ref) != 0

The previous notation wasn't defined and nonobvious.
motion-dec.tex