∀ : a turned capital letter A, used in predicate logic to specify universal quantification ("for all")
: ɐ tˈɜːnd kˈæpɪɾəl lˈɛɾɚɹ ˈeɪ, jˈuːzd ɪn pɹˈɛdᵻkˌeɪt lˈɑːdʒɪk tə spˈɛsᵻfˌaɪ jˌuːnɪvˈɜːsəl kwˌɔntɪfɪkˈeɪʃən"fɔːɹ ˈɔːl"