In statistics notation, the tilde is often used to indicate "has the distribution of," as in $X \sim N(0,1)$, meaning the random variable $X$ follows the distribution of the standard normal distribution.
What does it mean when the letter (variable?) $a$ is set above the tilde operator, as in $Z\overset{a}{\sim}\operatorname{normal}(\mu,\sigma^2)$? I suppose the $a$ has a function similar to the dot in $\mathrel{\dot\sim}$ (see What exactly does $\dot\sim$ notation mean?), but I'm not finding it.