 Stabilizer tableau

A stabilizer tableau represents each Pauli generator by a binary row $[x_1\cdots x_n\mid z_1\cdots z_n]$, with one additional bit when its sign is retained. Clifford gates update these rows by arithmetic over ${\mathbb{F}}_2$.