HH, or h, is the eighth letter in the Latin alphabet, used in the modern English alphabet, including the alphabets of other western European languages and others worldwide. Its name in English is aitch (pronounced eɪtʃ, plural aitches), or regionally haitch heɪtʃ. The original Semitic letter Heth most likely represented the voiceless pharyngeal fricative (ħ). The form of the letter probably stood for a fence or posts. The Greek Eta 'Η' in archaic Greek alphabets, before coming to represent a long vowel, /ɛː/, still represented a similar sound, the voiceless glottal fricative /h/.
H-droppingH-dropping or aitch-dropping is the deletion of the voiceless glottal fricative or "H-sound", [h]. The phenomenon is common in many dialects of English, and is also found in certain other languages, either as a purely historical development or as a contemporary difference between dialects. Although common in most regions of England and in some other English-speaking countries, and linguistically speaking a neutral evolution in languages, H-dropping is often stigmatized as a sign of careless or uneducated speech.
Sheaf (mathematics)In mathematics, a sheaf (: sheaves) is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every piece of data is the sum of its parts).
H with strokeĦ (minuscule: ħ) is a letter of the Latin alphabet, derived from H with the addition of a bar. It is used in Maltese for a voiceless pharyngeal fricative consonant (corresponding to the letter heth of Semitic abjads: ح, ח). Lowercase ħ is used in the International Phonetic Alphabet for the same sound. In Unicode, the special character ħ (U+210F), represents the reduced Planck constant of quantum mechanics. In this context, it is pronounced "h-bar". The lowercase resembles the Cyrillic letter Tshe (ћ), or the astronomical symbol of Saturn (♄).
Proof theoryProof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.