Meaning of $f_n\vert{_K} \to f\vert{_K}$

51 Views Asked by At

On this definition of compact convergence : https://en.m.wikipedia.org/wiki/Compact_convergence.

I dont understand how to read it, I dont know what the vertical bar means.

Thanks.