TeX source:
Q = (a, 3a^2 + 5a)