Źródło TeX:
y=x_1 \oplus x_1