TeX source:
y_k ‖ x_{k+1}