I read the symbol $\leftarrow$ in this paper in the last equation on p. 14 (or 15 out of 40).
$\text{Pr} \, [\,\textit{view} \leftarrow \textit{EXEC}^{\prod^{(V, C)}}...] $
Then I read this answer, which confirmed that it is the assignment operator. Where would this fit in Wikipedia's list of math symbols by subject? Would it fit in definition symbols?
I apologise if this is a bit off-topic, but if I post on the talk page, it might take longer to get an answer.