TeX source:

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