The following convention is sometimes encountered in the text (here example from HMM statement, $\{X_n\}_{n \geq 1}$ is a Markov process):
$$X_n \mid (X_{n-1} = x_{n-1}) \sim f(x_n \mid x_{n-1})$$
It is clear, what it means for the "plain" case (Why are probability distributions denoted with a tilde?), but what about the meaning of full formal notation when we have the conditional part $\mid\ (X_{n-1} = x_{n-1})$?