cirq.
ZZ
The Z-parity gate, possibly raised to a power.
The ZZ**t gate implements the following unitary:
(Z⊗Z)^t = [1 . . .] [. w . .] [. . w .] [. . . 1] where w = e^{i \pi t} and '.' means '0'.