Related to Up tack - TheInfoList

Mathematical operators and symbols in UnicodeBlackboard at the Laurent Schwartz Center for Mathematics, École Polytechnique The Unicode Standard encodes almost all standard characters used in mathematics. Unicode Technical Report #25 provides comprehensive information about the character repertoire, their properties, and guidelines for implementation. Mathematical operators and symbols are in multiple Unicode blocks.

List of XML and HTML character entity referencesIn SGML, HTML and XML documents, the logical constructs known as character data and attribute values consist of sequences of characters, in which each character can manifest directly (representing itself), or can be represented by a series of characters called a character reference, of which there are two types: a numeric character reference and a character entity reference. This article lists the character entity references that are valid in HTML and XML documents.

Tee (symbol)The tee (⊤, \top in LaTeX), also called down tack (as opposed to the up tack) or verum, is a symbol used to represent: The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true. By definition, every tautology is logically equivalent to the verum. The top type in type theory. The top element in lattice theory. Mixed radix encoding in the APL programming language.

Binary relationIn mathematics, a binary relation associates some elements of one set called the domain with some elements of another set (possibly the same) called the codomain.

GlyphPurposeful written mark Various glyphs representing lower case letter ⟨a⟩ in various typefaces and as single- and double-storey; they are allographs of the same grapheme A glyph (/ɡlɪf/ GLIF) is any kind of purposeful mark. In typography, a glyph is "the specific shape, design, or representation of a character". It is a particular graphical representation, in a particular typeface (or computer font), of an element of written language.

UnicodeCharacter encoding standardUnicode (also known as The Unicode Standard and TUS) is a character encoding standard maintained by the Unicode Consortium designed to support the use of text in all of the world's writing systems that can be digitized. Version 18.0 defines 172,808 characters and 175 scripts used in various ordinary, literary, academic and technical contexts.

LatexLatex (pl. latices) is an emulsion (stable dispersion) of polymer microparticles in water. Latices are found in nature, but synthetic latices are common as well. In nature, latex is found as a milky fluid, which is present in 10% of all flowering plants (angiosperms) and in some mushrooms (especially species of Lactarius). It is a complex emulsion that coagulates on exposure to air, consisting of proteins, alkaloids, starches, sugars, oils, tannins, resins, and gums.

Duality (mathematics)In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures in a one-to-one fashion, often (but not always) by means of an involution operation: if the dual of A is B, then the dual of B is A. In other cases the dual of the dual – the double dual or bidual – is not necessarily identical to the original (also called primal). Such involutions sometimes have fixed points, so that the dual of A is A itself.