ERRATA

The following is a list of typos in the supplement to the paper

  P. Selinger. "Generators and relations for n-qubit Clifford operators".
  Logical Methods in Computer Science 11(2:10):1–17, 2015.

Note: these typos are in the paper's supplement, which appears on the
ArXiv. The version on my website has already been corrected.

 * Supplement, page 4, proof of Lemma 1.3, line 1:

          "Property (19) is (C10)" ----> "Property (19) is (C12)"

 * Supplement, page 5, proof of (21), 5th and 7th step:

          Step labelled "(11)" ----> "(19)"
                                
Thanks to Xiaoning Bian for pointing out these typos.