Where do I assume that R is linear? How would you write it?

Anyways, I'm afraid I that wasn't a proper eigenvalue equation, maybe Ephophides could fix it out when he reports back.

Does that notation in formal logics define a vector?