Otočil se - Turned A

Otočil se (hlavní město: Ɐ, malá písmena: ɐ, matematický symbol ∀) je dopis a symbol na základě dopisu A.

Malá písmena ɐ (ve dvoupodlažní formě) se používají v Mezinárodní fonetická abeceda identifikovat téměř otevřená centrální samohláska. To nelze zaměňovat s otočil se alfa nebo otočený skript a, ɒ, který se používá v IPA pro otevřená zadní zaoblená samohláska.

To bylo používáno v 18. století Edward Lhuyd a William Pryce jako fonetická postava pro Cornwallský jazyk. Ve svých knihách oba Ɐ a ɐ bylo použito.^[1] To bylo používáno v 19. století Charles Sanders Peirce jako logický symbol pro „neamerický“ („unamerican“).^[2]

Logický symbol ∀ má stejný tvar jako a bezpatkové kapitál se změnil na A. Používá se k reprezentaci univerzální kvantifikace v predikátová logika. To bylo poprvé použito tímto způsobem Gerhard Gentzen v roce 1935, analogicky s Giuseppe Peano je otočil E. notace pro existenční kvantifikace a pozdější použití Peanoovy notace od Bertrand Russell.^[3] v dopravní inženýrství používá se k reprezentaci toku, počtu jednotek (vozidel) procházejících bodem za jednotku času. Lze jej použít také v jednotkových sazbách.

U + 1D44 ᵄ MODIFIER DOPIS MALÉ OTOČENÉ A se používá v Uralská fonetická abeceda.^[4]

Kódování

Informace o postavě
Náhled	Ɐ		ɐ		∀
Název Unicode	Latinské velké písmeno se otočilo		LATINSKÝ MALÝ LIST se otočil A		PRO VŠECHNY
Kódování	desetinný	hex	desetinný	hex	desetinný	hex
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
Číselná reference znaků	Ɐ	& # x2C6F;	ɐ	& # x250;	∀	& # x2200;
Odkaz na pojmenovaný znak					& ForAll ;, & forall;
Písmo symbolů					34	22
TeX					pro všechny

Viz také

Reference

^ Michael Everson, Návrh na přidání latinských písmen a řeckého symbolu do UCS, ISO / IEC JTC1 / SC2 / WG2 N3122 L2 / 06-266 (2006)
^ Stránka 320 v Randall Dipert, "Peirceova deduktivní logika ". V Cheryl Misak, vyd. Cambridge společník Peirce. 2004
^ Miller, Jeff. „Nejčasnější použití symbolů teorie množin a logiky“. Nejčasnější použití různých matematických symbolů.
^ Everson, Michael; et al. (2002-03-20). „L2 / 02-141: Uralská fonetická abeceda pro UCS“ (PDF).

[1] Michael Everson, Návrh na přidání latinských písmen a řeckého symbolu do UCS, ISO / IEC JTC1 / SC2 / WG2 N3122 L2 / 06-266 (2006)

[2] Stránka 320 v Randall Dipert, "Peirceova deduktivní logika ". V Cheryl Misak, vyd. Cambridge společník Peirce. 2004

[3] Miller, Jeff. „Nejčasnější použití symbolů teorie množin a logiky“. Nejčasnější použití různých matematických symbolů.

[4] Everson, Michael; et al. (2002-03-20). „L2 / 02-141: Uralská fonetická abeceda pro UCS“ (PDF).

[1]

[2]

[3]

[4]