La barra vertical ( | ) es un glifo con varios usos en matemáticas , informática y tipografía . Tiene muchos nombres, a menudo relacionados con significados particulares: barra de Sheffer (en lógica ), tubería , VBar , stick , línea vertical , la barra vertical, bar , Pike [ citación necesaria ] , o verti-Bar , y varias variantes en estos nombres. Ocasionalmente se considera un alógrafo de barra rota. (vea abajo).
| | |
---|---|
Barra vertical | |
En Unicode | U + 007C | LÍNEA VERTICAL (HTML | · &verbar, &vert, &VerticalLine ) |
¦ ‖ ∣ Barra rota Magnitud Divide |
Uso
Matemáticas
La barra vertical se utiliza como símbolo matemático de muchas formas:
- valor absoluto :, lee "el valor absoluto de x " [1] [2]
- cardinalidad :, lee "la cardinalidad del conjunto S "
- probabilidad condicional :, dice "la probabilidad de X dada Y "
- determinante :, lea "el determinante de la matriz A ". [1] [2] Cuando se escriben las entradas de la matriz, el determinante se denota rodeando las entradas de la matriz con barras verticales en lugar de los corchetes o paréntesis habituales de la matriz, como en.
- distancia :, que denota la distancia más corta entre el punto alinear , así que línea es perpendicular a la línea
- divisibilidad :, lee " a divide b " o " a es un factor de b ", aunque Unicode también proporciona símbolos especiales de 'divide' y 'no divide' (U + 2223 y U + 2224: ∣, ∤) [1] [2 ]
- evaluación: , lee " f de x , evaluado en x es igual a 4" (ver subíndices en Wikilibros)
- largo: , lee "la longitud de la cadena s "
- norma :, lea "la norma del vector (mayor que unidimensional)"(tenga en cuenta que el valor absoluto es una norma unidimensional), aunque una barra vertical doble (ver más abajo) se usa con más frecuencia para evitar la ambigüedad.
- orden :, lee "el orden del grupo G "
- restricción :, que denota la restricción de la función, con un dominio que es un superconjunto de , para sólo
- notación de constructor de conjuntos :, lea "el conjunto de x tal que x sea menor que dos". A menudo, se utilizan dos puntos ':' en lugar de una barra vertical
- el trazo de Sheffer en lógica :, lee " a nand b "
- resta :, lee " f (x) de a a b ", que denota. Usado en el contexto de una integral definida con variable x .
- Se puede utilizar una barra vertical para separar variables de parámetros fijos en una función, por ejemplo
La doble barra vertical ,, también se emplea en matemáticas.
- paralelismo :, lee "la línea es paralelo a la línea"
- Norma :, lea "la norma del vector x". Las personas a veces usan dos barras simples en analogía con el valor absoluto, que es una norma unidimensional. [1] [3]
- Truncamiento proposicional (un formador de tipos que trunca un tipo a una mera proposición en la teoría de tipos de homotopía ): para cualquier (leer "término de tipo ") tenemos [4] (aquílee " imagen de en " y dice " truncamiento proposicional de") [5]
En el modo matemático LaTeX , la barra vertical ASCII produce una línea vertical y crea una línea vertical doble ( se establece como\|
a | b \| c
). Esto tiene un espaciado diferente de \mid
y \parallel
, que son operadores relacionales : a \mid b \parallel c
se establece como. Vea a continuación sobre LaTeX en modo texto.
Física
La barra vertical se usa en notación bra-ket en física cuántica . Ejemplos:
- : el estado físico cuántico
- : el estado dual correspondiente al estado anterior
- : el producto interno de los estados y
- Los supergrupos en física se denominan G ( N | M ), que dice " G , M barra vertical N "; aquí G denota cualquier supergrupo, M denota las dimensiones bosónicas y N denota las dimensiones de Grassmann . [6]
Informática
Tubo
Una tubería es un mecanismo de comunicación entre procesos que se origina en Unix , que dirige la salida (salida estándar y, opcionalmente, error estándar) de un proceso a la entrada (entrada estándar) de otro. De esta manera, una serie de comandos se pueden "canalizar" juntos, dando a los usuarios la capacidad de realizar rápidamente un procesamiento complejo de múltiples etapas desde la línea de comandos o como parte de un script de shell de Unix ("archivo bash"). En la mayoría de shells de Unix (intérpretes de comandos), esto está representado por el carácter de barra vertical. Por ejemplo:
grep -i 'blair' nombrearchivo.log | más
donde la salida del proceso grep se canaliza al proceso more .
La misma característica de "tubería" también se encuentra en versiones posteriores de DOS y Microsoft Windows.
Este uso ha llevado al personaje a ser llamado "tubería".
Disyunción
En muchos lenguajes de programación, la barra vertical se utiliza para designar la operación lógica o , ya sea a nivel de bit o o lógico o .
Específicamente, en C y otros lenguajes que siguen las convenciones de sintaxis de C , como C ++ , Perl , Java y C # , a | b
denota un bit a bit o ; mientras que una barra vertical doble a || b
denota una lógica o ( en cortocircuito ) . Dado que el carácter originalmente no estaba disponible en todas las páginas de códigos y diseños de teclado, ANSI C puede transcribirlo en forma de trígrafo , que, fuera de los literales de cadena, es equivalente al carácter. ??!
|
En la sintaxis de expresiones regulares , la barra vertical nuevamente indica lógica o ( alternancia ). Por ejemplo: el comando de Unix grep -E 'fu | bar' coincide con las líneas que contienen 'fu' o 'bar'.
Concatenación
El operador de doble barra vertical "||" denota concatenación de cadenas en PL / I , estándar ANSI SQL e informática teórica (en particular, criptografía ).
Delimitador
Aunque no es tan común como las comas o las tabulaciones, la barra vertical se puede utilizar como delimitador en un archivo plano . Ejemplos de un formato de datos estándar delimitado por tuberías son LEDES 1998B y HL7 . Se utiliza con frecuencia porque las barras verticales suelen ser poco comunes en los datos en sí.
De manera similar, la barra vertical puede usarse como un delimitador para operaciones de expresión regular (por ejemplo, en sed ). Esto es útil cuando la expresión regular contiene instancias del /
delimitador de barra inclinada ( ) más común ; el uso de una barra vertical elimina la necesidad de escapar de todas las instancias de la barra inclinada. Sin embargo, esto inutiliza la barra como operador "alternativo" de expresión regular.
Forma Backus-Naur
En la forma Backus-Naur , una expresión consta de secuencias de símbolos y / o secuencias separadas por '|', lo que indica una elección , siendo el conjunto una posible sustitución del símbolo de la izquierda.
< nombre-personal > :: = < nombre > | < inicial >
Operador de simultaneidad
En cálculos de procesos comunicantes (como pi-cálculo ), la barra vertical se usa para indicar que los procesos se ejecutan en paralelo.
APL
La tubería en APL es la función de módulo o residuo entre dos operandos y la función de valor absoluto junto a un operando.
Lista de comprensiones
La barra vertical se utiliza para la comprensión de listas en algunos lenguajes funcionales, por ejemplo, Haskell y Erlang . Compare la notación del constructor de conjuntos .
Marcado de texto
La barra vertical se utiliza como un carácter especial en lenguaje de marcas ligero , especialmente MediaWiki 's Wikitext (en las plantillas y los enlaces internos).
En el modo de texto LaTeX, la barra vertical produce un guión largo (-). El \textbar
comando se puede utilizar para producir una barra vertical.
Fonética y ortografía
En los idiomas khoisan y el alfabeto fonético internacional , la barra vertical se usa para escribir el clic dental ( ǀ ). Se utiliza una barra vertical doble para escribir el clic lateral alveolar ( ǁ ). Dado que técnicamente son letras, tienen sus propios puntos de código Unicode en el rango Latin Extended-B : U + 01C0 para la barra simple y U + 01C1 para la barra doble.
Algunas lenguas caucásicas del noroeste y noreste escritas en alfabeto cirílico tienen una barra vertical llamada palochka (en ruso: палочка , lit. 'palito'), lo que indica que la consonante precedente es una ejectiva .
Se utilizan barras verticales simples y dobles más largas para marcar los límites prosódicos en el IPA.
Literatura
Puntuación
En los manuscritos europeos medievales, una sola barra vertical era una variante común de la virgula ⟨ / ⟩ usada como punto , coma , [7] y marca de cesura . [7]
En sánscrito y otros idiomas indios , una sola marca vertical, un danda , tiene una función similar a un punto (punto). Dos barras || (una 'doble danda') es el equivalente de un pilcrow al marcar el final de una estrofa , párrafo o sección. El danda tiene su propio punto de código Unicode, U + 0964.
Poesía
Una barra vertical doble ⟨||⟩ o ⟨ǁ⟩ es la marca de cesura estándar en la crítica y el análisis literario en inglés . Marca la ruptura fuerte o cesura común a muchas formas de poesía , particularmente al verso del inglés antiguo .
Notación
En la Biblia de Ginebra y en las primeras impresiones de la versión King James , se usa una barra vertical doble para marcar las notas al margen que contienen una traducción alternativa del texto original. Estas notas al margen siempre comienzan con la conjunción "O". En impresiones posteriores de la versión King James, la barra vertical doble se usa de manera irregular para marcar cualquier comentario en los márgenes.
Puntuación musical
En música, al escribir hojas de acordes, las barras verticales individuales asociadas con dos puntos (|: A / / /: |) representan el principio y el final de una sección (por ejemplo, introducción, interludio, verso, coro) de la música. [ cita requerida ] Las barras simples también pueden representar el comienzo y el final de los compases (|: A / / / | D / / / | E / / /: |). Una barra vertical doble asociada con dos puntos puede representar la repetición de una sección determinada (||: A / / /: || - reproducir dos veces). [ cita requerida ]
Codificación
Barra vertical sólida vs barra rota
Muchos terminales de video e impresoras matriciales de puntos representaron el carácter de barra vertical como la barra rota alógrafo ¦ . Esto puede haber sido para distinguir el carácter de la 'L' minúscula y la ' I ' mayúscula en estos dispositivos de resolución limitada, y hacer que una línea vertical de ellos se parezca más a una línea horizontal de guiones. También fue (brevemente) parte del estándar ASCII .
Un borrador inicial para un juego de caracteres de 7 bits que fue publicado por el subcomité X3.2 para Juegos de Caracteres Codificados y Formato de Datos el 8 de junio de 1961, fue el primero en incluir la barra vertical en un juego estándar. La barra estaba destinada a utilizarse como representación del símbolo lógico OR . [8] Un borrador posterior del 12 de mayo de 1966 coloca la barra vertical en la columna 7 junto a los puntos de código de entrada regionales, y formó la base para el borrador de propuesta original utilizado por la Organización Internacional de Normalización . [8] Este borrador recibió la oposición de un grupo de usuarios de IBM conocido como SHARE, y su presidente, HW Nelson, escribió una carta a la Asociación Estadounidense de Estándares titulada "El Código Estándar Estadounidense revisado propuesto para el intercambio de información NO satisface las necesidades de los programadores de computadoras ! "; en esta carta, argumenta que ningún carácter dentro del subconjunto internacional designado en las columnas 2-5 del juego de caracteres podría representar adecuadamente el OR lógico y el NOT lógico en lenguajes como el PL / I de IBM universalmente en todas las plataformas. [9] Como compromiso, se introdujo un requisito en el que el signo de exclamación (!) Y el circunflejo (^) se mostrarían como OR lógico (|) y NOT lógico (¬) respectivamente en casos de uso como la programación, mientras que fuera de estos usos casos representarían sus símbolos tipográficos originales:
Puede ser deseable emplear un estilo distintivo para facilitar su uso para fines específicos como, por ejemplo, estilizar los gráficos en las posiciones de código 2/1 y 5/14 a los que se asocian frecuentemente con OR lógico (|) y NOT lógico (¬). respectivamente.
- Documento X3.2 X3.2 / 475 [10]
La barra vertical original codificada en 0x7C en el borrador original del 12 de mayo de 1966 se rompió como ¦ , por lo que no se pudo confundir con el OR lógico ininterrumpido. En la revisión de 1967 de ASCII, junto con el código ISO 464 equivalente publicado el mismo año, el punto de código se definió como una barra vertical rota y se permitió que el carácter de signo de exclamación se representara como una barra vertical sólida. [11] [12] Sin embargo, la revisión de 1977 (ANSI X.3-1977) deshizo los cambios realizados en la revisión de 1967, imponiendo que el circunflejo ya no se puede estilizar como un símbolo lógico NO, el signo de exclamación tampoco permite estilización como una barra vertical, y definir el punto de código originalmente establecido en la barra rota como una barra vertical sólida en su lugar; [11] los mismos cambios también se revirtieron en la norma ISO 646-1973 publicada cuatro años antes.
Algunas variantes de EBCDIC incluían ambas versiones del personaje como puntos de código diferentes. La amplia implementación de la serie ASCII ISO / IEC 8859 extendida en la década de 1990 también hizo una distinción entre las dos formas. Esto se conservó en Unicode como un carácter separado en U + 00A6 BROKEN BAR (el término "regla dividida " se usa a veces en la documentación Unicode). Algunas fuentes dibujan los caracteres de la misma manera (ambas son barras verticales sólidas o ambas son barras verticales rotas). [13] [ verificación fallida ] La barra rota no parece tener usos claramente identificados distintos de los de la barra vertical. [14] En el uso no informático, por ejemplo, en matemáticas, física y tipografía en general, la barra rota no es un sustituto aceptable de la barra vertical.
Muchos teclados con diseño de EE. UU. O EE. UU. Internacional muestran la barra rota en una tecla, aunque el carácter de barra vertical sólida se produce en los sistemas operativos modernos. Esto incluye muchos teclados QWERTZ alemanes . Este es un legado de teclados fabricados durante las décadas de 1980 y 1990 para computadoras IBM PC compatibles con la barra rota, ya que dichas computadoras usaban el conjunto de caracteres de la página de código 437 de 8 bits de IBM basado en ASCII, que continuaba mostrando el glifo de la barra rota en el punto de código 7C en pantallas de MDA (1981) a VGA (1987) a pesar de los cambios realizados en ASCII en 1977.
El carácter de barra rota se puede escribir (según el diseño) como AltGr+ `o AltGr+ 6o AltGr+ ⇧ Shift+ Right \en Windows y Compose!^en Linux. Se puede insertar en HTML como¦
En algunos diccionarios, la barra rota se usa para marcar el acento que puede ser primario o secundario. Es decir, [¦ba] cubre las pronunciaciones [ˈba] y [ˌba] . [15]
Puntos de código Unicode
Estos glifos están codificados en Unicode de la siguiente manera:
- U + 007C | LÍNEA VERTICAL (HTML
|
·&verbar, &vert, &VerticalLine
) (línea vertical única) - U + 00A6 ¦ BARRA ROTA (HTML
¦
·¦
) (línea discontinua única) - U + 2016 ‖ DOBLE LÍNEA VERTICAL (HTML
‖
·&Verbar, &Vert
) (doble línea vertical (): se usa en pares para indicar la norma ) - U + FF5C | LÍNEA VERTICAL DE ANCHO COMPLETO (HTML
|
) ( formulario de ancho completo ) - U + 2225 ∥ PARALELO A (HTML
∥
·&DoubleVerticalBar, &par, ¶llel, &shortparallel, &spar
) - U + 01C0 ǀ LETRA LATINA CLIC DENTAL (HTML
ǀ
) - U + 01C1 ǁ LETRA LATINA CLIC LATERAL (HTML
ǁ
) - U + 2223 ∣ DIVISIONES (HTML
∣
·&mid, &shortmid, &smid, &VerticalBar
) - U + 2502 │ DIBUJOS DE CAJA VERTICAL LIGERO (HTML
│
·&boxv
) (y varios otros caracteres de dibujo de caja en el rango U + 2500 a U + 257F) - U + 0964 । DEVANAGARI DANDA (HTML
।
) - U + 0965 ॥ DANDA DOBLE DEVANAGARI (HTML
॥
)
Páginas de códigos y otras codificaciones históricas
Páginas de códigos, ASCII, ISO / IEC, EBCDIC, Shift-JIS, etc. | Barra vertical ('|') | Barra rota ('¦') |
---|---|---|
ASCII , CP437 , CP667 , CP720 , CP737 , CP790 , CP819 , CP852 , CP855 , CP860 , CP861 , CP862 , CP865 , CP866 , CP867 , CP869 , CP872 , CP895 , CP932 , CP991 | 124 (7C h ) | ninguno |
CP775 | 167 (A7h) | |
CP850 , CP857 , CP858 | 221 (DDh) | |
CP863 | 160 (A0h) | |
CP864 | 219 (DBh) | |
ISO / IEC 8859-1 , -7 , -8 , -9 , -13 , CP1250 , CP1251 , CP1252 , CP1253 , CP1254 , CP1255 , CP1256 , CP1257 , CP1258 | 166 (A6h) | |
ISO / IEC 8859-2 , -3 , -4 , -5 , -6 , -10 , -11 , -14 , -15 , -16 | ninguno | |
EBCDIC CCSID 37 | 79 (4Fh) | 106 (6Ah) |
EBCDIC CCSID 500 | 187 (BBh) | |
JIS X 0208 , JIS X 0213 | Men-ku-ten 1-01-35 (7 bits: 2143h; Shift JIS : 8162h; EUC : A1C3h) [a] |
Ver también
- Bar (diacrítico)
- Barra triple
Notas
- ^ Las formas codificadas Shift JIS y EUC también incluyen la barra vertical ASCII en su codificación habitual (consulte las formas de ancho medio y ancho completo ). Lo mismo se aplica cuando se utiliza el formato de 7 bits como parte de ISO-2022-JP (que permite cambiar hacia y desde ASCII).
Referencias
- ^ a b c d "Lista completa de símbolos de álgebra" . Bóveda de matemáticas . 2020-03-25 . Consultado el 24 de agosto de 2020 .
- ^ a b c Weisstein, Eric W. "Barra única" . mathworld.wolfram.com . Consultado el 24 de agosto de 2020 .
- ^ Weisstein, Eric W. "Matrix Norm" . mathworld.wolfram.com . Consultado el 24 de agosto de 2020 .
- ^ Programa de Fundaciones Univalentes (2013). Teoría de tipos de homotopía: Fundamentos univalentes de las matemáticas (versión de GitHub) (PDF) . Instituto de Estudios Avanzados. pag. 108.
- ^ Programa de Fundaciones Univalentes (2013). Teoría de tipos de homotopía: Fundamentos univalentes de las matemáticas (versión impresa) . Instituto de Estudios Avanzados. pag. 450.
- ^ Larus Thorlacius, Thordur Jonsson (eds.), Teoría M y geometría cuántica , Springer, 2012, p. 263.
- ^ a b "virgula, n. ", Oxford English Dictionary, 1ª ed., Oxford: Oxford University Press, 1917.
- ^ a b Fischer, Eric (2012). La evolución de los códigos de carácter, 1874-1968 (Tesis). Universidad Penn State. CiteSeerX 10.1.1.96.678 . Consultado el 10 de julio de 2020 .
- ^ HW Nelson, carta a Thomas B. Steel, 8 de junio de 1966, Registros del Subcomité de Estándares de Honeywell Inc. X3.2, 1961-1969 (CBI 67), Instituto Charles Babbage, Universidad de Minnesota, Minneapolis, caja 1, carpeta 23.
- ^ Documento X3.2 X3.2 / 475, 13 de diciembre de 1966, Registros del Subcomité de Estándares X3.2 de Honeywell Inc., 1961-1969 (CBI 67), Instituto Charles Babbage, Universidad de Minnesota, Minneapolis, caja 1, carpeta 22.
- ^ a b Salste, Tuomas (enero de 2016). "Juegos de caracteres de 7 bits: revisiones de ASCII" . Aivosto Oy. urna: nbn: fi-fe201201011004 . Archivado desde el original el 13 de junio de 2016 . Consultado el 13 de junio de 2016 .
- ^ Korpela, Jukka. "Historias de personajes - notas sobre algunas posiciones del código Ascii" . Archivado desde el original el 11 de marzo de 2020 . Consultado el 31 de mayo de 2020 .
- ^ Precio de Jim (24 de mayo de 2010). "Gráfico ASCII: caracteres de visualización ASCII extendido IBM PC" . Consultado el 23 de febrero de 2012 .
- ^ Jukka "Yucca" Korpela (20 de septiembre de 2006). "Descripciones detalladas de los personajes" . Consultado el 23 de febrero de 2012 .
- ^ Por ejemplo, "Baleares" . Diccionario Merriam-Webster ..