我正在阅读一种算法（这是一种基于A *的寻路算法），其中包含一个我不熟悉的数学符号：
这里是上下文：
v（s）≥g（s）=最小s’∈pred（s）（v（s’）+ c（s’，s））∀s≠s 开始
有人可以解释∀的意思吗？
这是“forall”（全部）符号，如Wikipedia的数学符号表或Unicodeforall字符（\u2200，∀）所示。
\u2200
