Searched defs:forallSym (Results 1 – 4 of 4) sorted by relevance
583 forallSym True = text "∀" function584 forallSym False = text "forall" function
3086 forallSym True = "∀" function3087 forallSym False = "forall" function
3279 forallSym True = "∀" function3280 forallSym False = "forall" function