我以前没有见过以下符号（密度中带有下标的 1）：

考虑从截断正态分布$\mathcal{N}_t (\mu, 1, a)$中采样的问题，由随机变量$X ∼ \mathcal{N} (\mu, 1)$给出，条件是事件$\{X \geq a\}$。它的密度与

$$f(x) \propto \mathrm{exp}\{-\frac{(x-\mu)^2}{2 \sigma^2}\}1_{x \geq a}$$

这到底是什么意思呢？