WikiDer > Повернулся А
Повернулся А (капитал: Ɐ, нижний регистр: ɐ, математический символ ∀) это буква и символ на основании письма А.
Строчная ɐ (в двухэтажной форме) используется в Международный фонетический алфавит определить почти открытая центральная гласная. Это не следует путать с повернулся альфа или же превратил сценарий в, ɒ, который используется в ИПА для открытая спина округленная гласная.
Его использовали в 18 веке Эдвард Лхойд и Уильям Прайс как фонетический символ для Корнуоллский язык. В своих книгах оба Ɐ и ɐ был использован.[1] Его использовали в 19 веке Чарльз Сандерс Пирс как логический символ «неамериканского» («неамериканского»).[2]
Логический символ ∀ имеет ту же форму, что и без засечек заглавная буква A. Используется для обозначения универсальная количественная оценка в логика предикатов. Впервые он был использован таким образом Герхард Гентцен в 1935 г. по аналогии с Джузеппе Пеанос повернулся E обозначение для экзистенциальная количественная оценка и более позднее использование обозначений Пеано Бертран Рассел.[3] В транспортная инженерия он используется для представления потока, количества единиц (транспортных средств), проходящих через точку за единицу времени. Его также можно использовать в расценках за единицу.
U + 1D44 ᵄ БУКВА-МОДИФИКАТОР МАЛЫЙ ПОВОРОТ A используется в Уральский фонетический алфавит.[4]
Кодировки
| Предварительный просмотр | Ɐ | ɐ | ∀ | |||
|---|---|---|---|---|---|---|
| Юникод имя | ЛАТИНСКАЯ ЗАГЛАВНАЯ БУКВА ПЕРВЫВАЕТСЯ A | ЛАТИНСКАЯ СТРОЧНАЯ БУКВА, ПЕРЕВЕРНУТАЯ А | ДЛЯ ВСЕХ | |||
| Кодировки | десятичный | шестнадцатеричный | десятичный | шестнадцатеричный | десятичный | шестнадцатеричный |
| Unicode | 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 |
| Ссылка на цифровые символы | Ɐ | & # x2C6F; | ɐ | & # x250; | ∀ | & # x2200; |
| Ссылка на именованный символ | & ForAll ;, & forall; | |||||
| Символьный шрифт | 34 | 22 | ||||
| TeX | для всех | |||||
Смотрите также
Рекомендации
- ^ Майкл Эверсон, Предложение добавить латинские буквы и греческий символ в ПСК, ISO / IEC JTC1 / SC2 / WG2 N3122 L2 / 06-266 (2006)
- ^ Страница 320 в Рэндалл Диперт, "Дедуктивная логика Пирса". В Шерил Мисак, изд. Кембриджский компаньон Пирса. 2004
- ^ Миллер, Джефф. «Древнейшие способы использования символов теории множеств и логики». Самые ранние случаи использования различных математических символов.
- ^ Эверсон, Майкл; и другие. (20.03.2002). "L2 / 02-141: символы уральского фонетического алфавита для UCS" (PDF).
