TeX source:

P(x(k)\ |\ y(1),\dots ,y(t))