TeX-källa:
G_{x_2 + x_1 x_3} = \{(13), Id\}