Inicio: go to the homepage U+2200 para U+22FF Mathematical Operators
Glifo para U+22A5
Fuente: Noto Sans Math

U+22A5 Up Tack

U+22A5 was added in Unicode version 1.1 in 1993. It belongs to the block U+2200 para U+22FF Mathematical Operators in the U+0000 para U+FFFF Basic Multilingual Plane.

This character is a Puntuación matemática and is commonly used, that is, in no specific script. El carácter es también conocido como base y bottom.

The glyph is not a composition. Its width in East Asian texts is determined by its context. It can be displayed wide or narrow. In bidirectional text it acts as Other Neutral. When changing direction it is not mirrored. If its East Asian Width is “narrow”, U+22A5 forms a word with similar characters, which prevents a line break inside it. Otherwise it allows line breaks around it, except in some numeric contexts. The glyph can be confused with one other glyph.

The CLDR project calls this character “tachuela hacia arriba” for use in screen reading software. It assigns these additional labels, e.g. for search in emoji pickers: contradicción, falsum.

El Wikipedia tiene la siguiente información acerca de este punto de código:

The up tack or falsum (, ot in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent:

  • The truth value 'false', or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum").
  • The bottom element in wheel theory and lattice theory, which also represents absurdum when used for logical semantics
  • The bottom type in type theory, which is the bottom element in the subtype relation. This may coincide with the empty type, which represents absurdum under the Curry–Howard correspondence
  • The "undefined value" in quantum physics interpretations that reject counterfactual definiteness, as in (r0,⊥)

as well as

  • Mixed radix decoding in the APL programming language

The glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse). Tee plays a complementary or dual role in many of these theories.

The similar-looking perpendicular symbol (, perp in LaTeX, U+27C2 in Unicode) is a binary relation symbol used to represent:

  • Perpendicularity of lines in geometry
  • Orthogonality in linear algebra
  • Independence of random variables in probability theory
  • Coprimality in number theory

The double tack up symbol (, U+2AEB in Unicode) is a binary relation symbol used to represent:

  • Conditional independence of random variables in probability theory

Representaciones

Sistema Representación
N.º 8869
UTF-8 E2 8A A5
UTF-16 22 A5
UTF-32 00 00 22 A5
URL-Quoted %E2%8A%A5
HTML hex reference ⊥
Mojibake mal de windows-1252 ⊥
HTML named entity ⊥
HTML named entity ⊥
HTML named entity ⊥
HTML named entity ⊥
alias base
alias bottom
Codificación: BIG5 (hexadecimales bytes) A1 E6
Codificación: BIG5HKSCS (hexadecimales bytes) A1 E6
Codificación: CP932 (hexadecimales bytes) 81 DB
Codificación: CP949 (hexadecimales bytes) A1 D1
Codificación: CP950 (hexadecimales bytes) A1 E6
Codificación: EUC_JP (hexadecimales bytes) A2 DD
Codificación: EUC_JIS_2004 (hexadecimales bytes) A2 DD
Codificación: EUC_JISX0213 (hexadecimales bytes) A2 DD
Codificación: EUC_KR (hexadecimales bytes) A1 D1
Codificación: GB2312 (hexadecimales bytes) A1 CD
Codificación: GBK (hexadecimales bytes) A1 CD
Codificación: GB18030 (hexadecimales bytes) A1 CD
Codificación: HZ (hexadecimales bytes) 7E 7B 21 4D 7E 7D
Codificación: ISO2022_JP (hexadecimales bytes) 1B 24 42 22 5D 1B 28 42
Codificación: ISO2022_JP_1 (hexadecimales bytes) 1B 24 42 22 5D 1B 28 42
Codificación: ISO2022_JP_2 (hexadecimales bytes) 1B 24 42 22 5D 1B 28 42
Codificación: ISO2022_JP_2004 (hexadecimales bytes) 1B 24 42 22 5D 1B 28 42
Codificación: ISO2022_JP_3 (hexadecimales bytes) 1B 24 42 22 5D 1B 28 42
Codificación: ISO2022_JP_EXT (hexadecimales bytes) 1B 24 42 22 5D 1B 28 42
Codificación: ISO2022_KR (hexadecimales bytes) 1B 24 29 43 0E 21 51 0F
Codificación: JOHAB (hexadecimales bytes) D9 61
Codificación: SHIFT_JIS (hexadecimales bytes) 81 DB
Codificación: SHIFT_JIS_2004 (hexadecimales bytes) 81 DB
Codificación: SHIFT_JISX0213 (hexadecimales bytes) 81 DB
LATEX \perp
Adobe Glyph List perpendicular
dígrafo -T

Caracteres relacionados

Confundibles

Otros sitios

Registro completo

Propiedad Valor
Antigüedad (age) 1.1 (1993)
Nombre Unicode (na) UP TACK
Nombre Unicode 1 (na1)
Block (blk) Mathematical Operators
Categoría general (gc) Puntuación matemática
Script (sc) Common
Categoría de bidireccionalidad (bc) Other Neutral
Combining Class (ccc) Not Reordered
Tipo de descomposición (dt) none
Decomposition Mapping (dm) Glifo para U+22A5 Up Tack
Minúscula (Lower)
Simple Lowercase Mapping (slc) Glifo para U+22A5 Up Tack
Lowercase Mapping (lc) Glifo para U+22A5 Up Tack
Mayúscula (Upper)
Simple Uppercase Mapping (suc) Glifo para U+22A5 Up Tack
Uppercase Mapping (uc) Glifo para U+22A5 Up Tack
Simple Titlecase Mapping (stc) Glifo para U+22A5 Up Tack
Titlecase Mapping (tc) Glifo para U+22A5 Up Tack
Case Folding (cf) Glifo para U+22A5 Up Tack
ASCII Hex Digit (AHex)
Alphabetic (Alpha)
Bidi Control (Bidi_C)
Bidi Mirrored (Bidi_M)
Exclusión de descomposición (CE)
Case Ignorable (CI)
Changes When Casefolded (CWCF)
Changes When Casemapped (CWCM)
Changes When NFKC Casefolded (CWKCF)
Changes When Lowercased (CWL)
Changes When Titlecased (CWT)
Changes When Uppercased (CWU)
Cased (Cased)
Exclusión de composición completa (Comp_Ex)
Default Ignorable Code Point (DI)
Raya (Dash)
Deprecated (Dep)
Diacrítico (Dia)
Base de modificador de emoyi (EBase)
Componente de emoyi (EComp)
Modificador de emoyi (EMod)
Presentación de emoyi (EPres)
Emoyi (Emoji)
Extender (Ext)
Extended Pictographic (ExtPict)
FC NFKC Closure (FC_NFKC) Glifo para U+22A5 Up Tack
Grapheme Cluster Break (GCB) Any
Base de grafema (Gr_Base)
Extensión de grafema (Gr_Ext)
Enlace de grafema (Gr_Link)
Hex Digit (Hex)
Guion (Hyphen)
ID Continue (IDC)
ID Start (IDS)
IDS Binary Operator (IDSB)
IDS Trinary Operator and (IDST)
IDSU (IDSU) 0
ID_Compat_Math_Continue (ID_Compat_Math_Continue) 0
ID_Compat_Math_Start (ID_Compat_Math_Start) 0
Ideographic (Ideo)
InCB (InCB) None
Indic Mantra Category (InMC)
Indic Positional Category (InPC) NA
Indic Syllabic Category (InSC) Other
Jamo Short Name (JSN)
Join Control (Join_C)
Logical Order Exception (LOE)
Modifier Combining Mark (MCM)
Math (Math)
Noncharacter Code Point (NChar)
NFC Quick Check (NFC_QC)
NFD Quick Check (NFD_QC)
NFKC Casefold (NFKC_CF) Glifo para U+22A5 Up Tack
NFKC Quick Check (NFKC_QC)
NFKC_SCF (NFKC_SCF) Glifo para U+22A5 Up Tack
NFKD Quick Check (NFKD_QC)
Other Alphabetic (OAlpha)
Other Default Ignorable Code Point (ODI)
Otra extensión de grafema (OGr_Ext)
Other ID Continue (OIDC)
Other ID Start (OIDS)
Other Lowercase (OLower)
Other Math (OMath)
Other Uppercase (OUpper)
Prepended Concatenation Mark (PCM)
Pattern Syntax (Pat_Syn)
Pattern White Space (Pat_WS)
Comilla (QMark)
Indicador regional (RI)
Radical (Radical)
Salto de oración (SB) Other
Soft Dotted (SD)
Sentence Terminal (STerm)
Terminal Punctuation (Term)
Ideograma unificado (UIdeo)
Selector de variación (VS)
Salto de palabra (WB) Other
Espacio en blanco (WSpace)
XID Continue (XIDC)
XID Start (XIDS)
Expands On NFC (XO_NFC)
Expands On NFD (XO_NFD)
Expands On NFKC (XO_NFKC)
Expands On NFKD (XO_NFKD)
Bidi Paired Bracket (bpb) Glifo para U+22A5 Up Tack
Bidi Paired Bracket Type (bpt) None
East Asian Width (ea) ambiguous
Hangul Syllable Type (hst) Not Applicable
ISO 10646 Comment (isc)
Joining Group (jg) No_Joining_Group
Joining Type (jt) Non Joining
Line Break (lb) Ambiguous (Alphabetic or Ideographic)
Numeric Type (nt) none
Valor numérico (nv) not a number
Simple Case Folding (scf) Glifo para U+22A5 Up Tack
Script Extension (scx)
Orientación vertical (vo) R