Searched defs:forall (Results 1 – 5 of 5) sorted by relevance
206 forall: '\u2200', property
6501 forall: '\u2200', property
3123 forall: "\u2200", property
1066 "forall": "∀", string
29586 const forall = "∀"; constant31808 forall: forall, property34033 forall: forall, property40940 forall: forall$1, property41196 forall: forall$1, property