Thanks! I notice that that translation there doesn’t seem to describe the operation par , only oplus, otimes, amp, linear implication, and the of-course operato

Thanks! I notice that that translation there doesn’t seem to describe the operation par , only oplus, otimes, amp, linear implication, and the of-course operators. Do you know if the par operator can be expressed with this vector spaces over finite fields setup?