Это знак читается как "существует". Обычно таким образом записывают условия. Например, "пусть для каждого элемента а из множества А СУЩЕСТВУЕТ элемент b из множества B, такой что ...." Чтобы сократить запись пользуются значками. Аналогично есть значок "каждый" - перевернутая А и "такой что" - двоеточие. И т.д.