Перевернул (капитал: Ɐ , в нижнем регистре: ɐ , математика символ ∀ ) представляет собой букву и символ на основе буквы A .
Строчная буква ɐ (в двухэтажной форме) используется в Международном фонетическом алфавите для обозначения почти открытой центральной гласной . Это не следует путать с повернутым альфа или повернутым письмом a , ɒ, которое используется в IPA для открытой спины закругленной гласной .
Он использовался в 18 веке Эдвардом Лхёйдом и Уильямом Прайсом в качестве фонетического символа корнуоллского языка . В своих книгах, как Ɐ и ɐ были использованы. [1] Он использовался в 19 веке Чарльзом Сандерсом Пирсом как логический символ «неамериканского» («неамериканского»). [2]
Логический символ ∀ имеет ту же форму, что и заглавная буква A без засечек. Он используется для обозначения универсальной количественной оценки в логике предикатов , где его обычно читают как «для всех». Впервые он был использован в этом пут Генцена в 1935 году, по аналогии с Джузеппе Пеано «s токарной E нотации для экзистенциальной квантификации и последующим использованием обозначений Пеаны по Бертрану Рассел . [3] В транспортной инженерии он используется для представления потока, количества единиц (транспортных средств), проезжающих точку за единицу времени. Его также можно использовать в расценках за единицу.
U + 1D44 ᵄ БУКВА-МОДИФИКАТОР МАЛЫЙ ПОВОРОТ A используется в уральском фонетическом алфавите . [4]
Кодировки
Предварительный просмотр | Ɐ | ɐ | ∀ | |||
---|---|---|---|---|---|---|
Юникод имя | ЛАТИНСКАЯ ЗАГЛАВНАЯ БУКВА ПЕРВЫВАЕТСЯ A | ЛАТИНСКАЯ СТРОЧНАЯ БУКВА ПЕРЕВЕРНУТАЯ | ДЛЯ ВСЕХ | |||
Кодировки | десятичный | шестнадцатеричный | десятичный | шестнадцатеричный | десятичный | шестнадцатеричный |
Юникод | 11375 | U + 2C6F | 592 | U + 0250 | 8704 | U + 2200 |
UTF-8 | 226 177 175 | E2 B1 AF | 201 144 | C9 90 | 226 136 128 | E2 88 80 |
Ссылка на числовые символы | & # 11375; | & # x2C6F; | & # 592; | & # x250; | & # 8704; | & # x2200; |
Ссылка на именованный символ | & ForAll ;, & forall; | |||||
Символьный шрифт | 34 | 22 | ||||
TeX | \для всех |
Смотрите также
Рекомендации
- ^ Майкл Эверсон , Предложение о добавлении латинских букв и греческих символов в UCS , ISO / IEC JTC1 / SC2 / WG2 N3122 L2 / 06-266 (2006)
- ^ Page 320 в Randall Dipert « дедуктивной логики Пирса ». В Шерил Мисак , изд. Кембриджский компаньон Пирса . 2004 г.
- ^ Миллер, Джефф. «Раннее использование символов теории множеств и логики» . Раннее использование различных математических символов .
- ^ Эверсон, Майкл ; и другие. (20.03.2002). «L2 / 02-141: символы уральского фонетического алфавита для UCS» (PDF) .