What do the vertical bars mean in the first and third formulae?
$$v_i|z_i=k,\mu_k\sim\mathcal{N}(\mu_k, \sigma^2)$$ $$P(z_i=k)=\pi_k$$ $$\pi|\alpha\sim \text{Dir}(\alpha/K1_K)$$ $$\mu_k\sim H(\lambda)$$ This formula is originally from here.
What do the vertical bars mean in the first and third formulae?
$$v_i|z_i=k,\mu_k\sim\mathcal{N}(\mu_k, \sigma^2)$$ $$P(z_i=k)=\pi_k$$ $$\pi|\alpha\sim \text{Dir}(\alpha/K1_K)$$ $$\mu_k\sim H(\lambda)$$ This formula is originally from here.
The vertical bar is often called a 'pipe'. It is often used in mathematics, logic and statistics. It typically is read as 'given that'. In probability and statistics it often indicates conditional probability, but can also indicate a conditional distribution. You can read it as 'conditional on'.
For example the third line can be read "pi, conditional on alpha, is distributed as dirichlet... ". The idea of a distribution conditional on something else taking a specific value is very, very common in statistics. Perhaps the most typical example would be of $Y$ values conditional on $X$ being normally distributed in regression models (for an example, see my answer here: What is the intuition behind conditional Gaussian distributions).