title: Unfamiliar symbol in algorithm: what does ∀ mean?
body: <p>I'm reading about an algorithm (it's a path-finding algorithm based on A*), and it contains a mathematical symbol I'm unfamiliar with: ∀</p>
  
  <p>Here is the context:</p>
  
  <blockquote>
    <p>v(s) ≥ g(s) = min<sub>s'∈pred(s)</sub>(v(s') + c(s', s)) ∀s ≠ s<sub>start</sub></p>
  </blockquote>
  
  <p>Can someone explain the meaning of ∀?</p>