[sc34wg3] Tau: The role in operator

[Robert Barta]

On Sun, Aug 01, 2004 at 09:09:40AM -0400, Lars Marius Garshol wrote:
> 
> * Robert Barta
> | 
> | This is clearly a typo. It should read
> | 
> |   p -> r = {a element-of m | exists p : <r, p> element-of a}
> | 
> | It basically delivers ALL assertions in the map where p is a player
> | of the role r.
> 
> I was a bit too quick in my first reply. In
> 
>   p -> r = {a element-of m | exists p : <r, p> element-of a}
> 
> is the p before the -> the same as the p in the set? If so, why is
> there an exists there? If you did
> 
>   p -> r = {a element-of m | <r, p> element-of a}
> 
> I would understand.

That it is. I just tried to copy your notation and left that exists p
by mistake.

\rho