XI-G witness-symbol input

Displayed formulas in this passage

• XVI-B@1#eq:witness · line 443

  $$k_1=(1,\mathbf{n}),k_2=(1,-\mathbf{n}),{{\gamma }_a}^{\lambda }=\eta e^{\mathrm{i}\lambda k_a\cdot y},$$

• XVI-B@1#eq:qcounter · line 453

  $$\begin{array}{rlrlrl}{\mathsf{q}}^{00}& =-2,& {\mathsf{q}}^{0i}& =0,& {\mathsf{q}}^{ij}& =n^i{n}^j-3{\delta }^{ij},\\ J_3({{\gamma }_1}^{\lambda },{{\gamma }_2}^{\lambda })& ={\lambda }^2\mathsf{q}{e}^{2\mathrm{i}\lambda t}.& & & & \end{array}$$

• XVI-B@1#eq:bulk-eval · line 453

  $$\begin{array}{rlrlrl}{\mathsf{q}}^{00}& =-2,& {\mathsf{q}}^{0i}& =0,& {\mathsf{q}}^{ij}& =n^i{n}^j-3{\delta }^{ij},\\ J_3({{\gamma }_1}^{\lambda },{{\gamma }_2}^{\lambda })& ={\lambda }^2\mathsf{q}{e}^{2\mathrm{i}\lambda t}.& & & & \end{array}$$