It is a formal mathematical style of pseudocode sometimes referred to as pidgin code. Very few real languages use symbols like that, but there are some, such as APL.
There is no "glossary of symbols" per se, because every author uses his or her own flavor, but they tend to follow commonly-understood math notation.
This particular piece of code on BFS is very widely quoted. Wikipedia's BFS article has an "ASCII" translation of it.