In symbolic logic, the universal quantifier symbol ∀ (a turned “A” in a sans-serif font, Unicode U+2200) is used to indicate universal quantification.
If while an ox is passing on the street (market) some one push it, and kill it, the owner can set up no claim in the suit (against the hirer).