Misplaced Pages

Turned A (capital: Ɐ, lowercase: ɐ, math symbol ∀) is a letter and symbol based upon the letter A.

Modern usage

• Lowercase ɐ (in Roman or two story form) is used in the International Phonetic Alphabet to identify the near-open central vowel. This is not to be confused with the turned alpha or turned script a, ɒ, which is used in the IPA for the open back rounded vowel.
• The logical symbol ∀ has the same shape as a sans-serif capital turned A. It is used to represent universal quantification in predicate logic, where it is typically read as "for all". It was first used in this way by Gerhard Gentzen in 1935, by analogy with Giuseppe Peano's turned E notation for existential quantification and the later use of Peano's notation by Bertrand Russell.

Historical usage

• Turned a presented in Edward Lhuyd's Archaeologia Britannica, 1707.
• Turned a in William Pryce's Archaeologia Cornu-Britannica, 1790.

Because of the relative ease of creating this letterform using traditional printing methods, it had frequent and varied historical uses. According to the principle of acrophony, the letter A originated from the Proto-Sinaitic alphabet as a symbol representing the head of an ox or cow (aleph), its orientation and original meaning having been lost over time. The turned A symbol restores the letter to a more easily recognizable logographic representation of an ox's head.

A denarius coin from the Roman Republic has been found, struck with a (capital) turned A, in the collection of a Madrid-based numismatist; it is unclear whether this was intentional, or a printer's error for a V.

It was used in the 18th century by Edward Lhuyd and William Pryce as a phonetic character for the Cornish language. In their books, both Ɐ and ɐ have been used. It was used in the 19th century by Charles Sanders Peirce as a logical symbol for un-American.

U+1D44 ᵄ MODIFIER LETTER SMALL TURNED A is used in the Uralic Phonetic Alphabet, a system developed in the early 20th century for transcribing Uralic languages. However, as this system was not standardized across (nor within) languages, it has been supplanted in this use by the International Phonetic Alphabet.

Encodings

See also

• List of logic symbols
• List of mathematical symbols
• Transformation of text
• Rotated letter

References

1. Gibbon, Dafydd; Richard Winski, Roger Moore (1997). "Table A.19: IPA Table (ordered by number) (continued)". Handbook of Standards and Resources for Spoken Language Systems. Walter de Gruyter. p. 679. ISBN 9783110153668.
2. Miller, Jeff. "Earliest Uses of Symbols of Set Theory and Logic". Earliest Uses of Various Mathematical Symbols.
3. Jensen, Hans (1969). Sign, Symbol, and Script. New York: G.P. Putman's Sons. p. 262. ISBN 9780044000211.
4. Debernardi, Pierluigi (2010). "Some unlisted varieties and rare dies in Roman Republican denarii". The Numismatic Chronicle. 170: 93–97. JSTOR 42678886.
5. Michael Everson, Proposal to add Latin letters and a Greek symbol to the UCS, ISO/IEC JTC1/SC2/WG2 N3122 L2/06-266 (2006)
6. Page 320 in Randall Dipert, "Peirce's deductive logic". In Cheryl Misak, ed. The Cambridge Companion to Peirce. 2004
7. Everson, Michael; et al. (2002-03-20). "L2/02-141: Uralic Phonetic Alphabet characters for the UCS" (PDF).
8. Simon, Eszter; Mus, Nikolett (January 2017). "Languages under the influence: Building a database of Uralic languages". In Tyers, Francis M.; Rießler, Michael; Pirinen, Tommi A.; Trosterud, Trond (eds.). Proceedings of the Third Workshop on Computational Linguistics for Uralic Languages (PDF). St. Petersburg, Russia: Association for Computational Linguistics. pp. 10–24. doi:10.18653/v1/W17-0603.

v t e Common logical symbols
∧  or  & and ∨ or ¬  or  ~ not → implies ⊃ implies, superset ↔  or  ≡ iff | nand ∀ universal quantification ∃ existential quantification ⊤ true, tautology ⊥ false, contradiction ⊢ entails, proves ⊨ entails, therefore ∴ therefore ∵ because
Philosophy portal Mathematics portal

• Logic symbols
• Latin-script letters
• Phonetic transcription symbols