Barra vertical

La barra vertical, |, es un glifo con diversos usos en matemáticas, informática y tipografía. Tiene muchos nombres, a menudo relacionados con significados particulares: trazo de Sheffer (en lógica), pipa, bar, o (literalmente la palabra &# 34;o"), vbar y otros.

Uso

Matemáticas

La barra vertical se utiliza como símbolo matemático de numerosas maneras. Si se utiliza como par de corchetes, sugiere la noción de la palabra "tamaño". Estos son:

• valor absoluto: ${displaystyle Silencioso$, leer "el valor absoluto de x"
• Cardenalidad: ${displaystyle Silencioso$, leer "el cardinalidad del conjunto So "el longitud de una cuerda S".
• determinante: ${displaystyle Silencioso$, leer "el determinante de la matriz A". Cuando las entradas de la matriz se escriben, el determinante se denota por rodear las entradas de la matriz por barras verticales en lugar de los soportes o paréntesis habituales de la matriz, como en ${displaystyle {begin{vmatrix}a ventajabc recurdend{vmatrix}}$.
• orden: ${displaystyle SilencioG$, leer "el orden del grupo G"o ${displaystyle Silencioso$"El orden del elemento ${displaystyle gin G}$"

Del mismo modo, la barra vertical también se utiliza cantantemente de muchas maneras diferentes:

• probabilidad condicional: ${displaystyle P(X habitY)}$, leer "la probabilidad de X dado Y"
• distancia: ${displaystyle P sometidaab}$, denotando lo más corto distancia entre punto ${displaystyle P}$ a la línea ${displaystyle ab}$, así que línea ${displaystyle P sometidaab}$ es perpendicular a la línea ${displaystyle ab}$
• divisibilidad: ${displaystyle amid b}$, leer "a divideciones b"o"a es un factor de b", aunque Unicode también proporciona símbolos especiales 'divides' y 'no dividen' (U+2223 y U+2224: ❌, ∤)
• evaluación de la función: ${displaystyle f(x)$, leer "f de x, evaluado en x equivale a 4" (ver subscriptos en Wikibooks)
• restricción: ${displaystyle ¿Qué?$, denotando el restricción de la función ${displaystyle f}$, con un dominio que es un superset de ${displaystyle A}$, a ${displaystyle A}$
• set-builder notation: ${displaystyle {x Hyperx se hizo realidad2}$, leer "el conjunto de x tales que x es menos de dos". A menudo, un colon ':' se utiliza en lugar de una barra vertical
• el trazo Sheffer en lógica: ${displaystyle a foreverb}$, leer "a Nand b"
• resta: ${displaystyle f(x)vert _{a}{b}$, leer "f(x) desde a a b", denotando ${displaystyle f(b)-f(a)}$. Utilizado en el contexto de una integral definida con variable x.
• Una barra vertical se puede utilizar para separar variables de parámetros fijos en una función, por ejemplo ${displaystyle f(x habitmusigma)}$, o en la notación para las integrales elípticas.

El doble barra vertical, ${displaystylefn}$, también se emplea en matemáticas.

• paralelismo: ${displaystyle ABparallel CD}$, leer "la línea ${displaystyle AB}$ es paralelo a la línea ${displaystyle CD}$"
• norma: ${displaystyle bendiciones para siempre}$, leer "el norma (longitud, tamaño, magnitud, etc.) de la matriz ${displaystyle A}$". La norma de un vector unidimensional es el valor absoluto y se utilizan barras individuales.
• truncación proposición (un tipo de anterior que mueve un tipo hacia abajo a una mera proposición en la teoría del tipo homotopy): para cualquier ${displaystyle a:A}$ (read "termino" ${displaystyle a}$ tipo ${displaystyle A}$") tenemos ${displaystyle Silencioso: 'izquierda'$ (Aquí) ${displaystyle Silencioso$ lee "imagen de ${displaystyle a:A}$ dentro ${displaystyle leftfnciónArightfnh00}$"y ${displaystyle Silencioso: 'izquierda'$ lee "truncado proposición de ${displaystyle A}$")

En el modo matemático LaTeX, la barra vertical ASCII produce una línea vertical y | crea una doble línea vertical (a | b | c se establece como ${displaystyle a preservebfnc}$). Esto tiene un espaciado diferente mid y parallel, que son operadores relacionales: a mid b parallel c se establece como ${displaystyle amid bparallel c}$. Ver abajo sobre LaTeX en modo de texto.

Química

En química, la línea vertical se utiliza en la notación de celda de Daniell's Cell o Chemical Cell

Ejemplo:

Zn | Zn²⁺ || Cu²⁺ | Cu

La doble línea vertical (||) se utiliza para representar el puente de sal; que se utiliza para permitir que los iones en movimiento libre se muevan.

Física

La barra vertical se utiliza en la notación de soporte en física cuántica. Ejemplos:

• ${displaystyle Нpsi rangle }$: el estado físico cuántico ${displaystyle psi }$
• ${displaystyle langle psi Silencio.$: el estado dual correspondiente al estado anterior
• ${displaystyle langle psi tenciónrho rangle }$: el producto interior de los estados ${displaystyle psi }$ y ${displaystyle rho }$
• Supergrupos en física son denotados G()NSilencioM), que lee "G, M barra vertical N"; aquí G denota cualquier supergrupo, M denota las dimensiones bosónicas, y N denota las dimensiones Grassmann.

Informática

Pipe

Una tubería es un mecanismo de comunicación entre procesos originado 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, se pueden "canalizar" juntos, brindando a los usuarios la capacidad de realizar rápidamente un procesamiento complejo de múltiples etapas desde la línea de comando o como parte de un script de shell Unix ("archivo bash"). En la mayoría de los shells de Unix (intérpretes de comandos), esto está representado por el carácter de barra vertical. Por ejemplo:

grep -i 'blair' nombre de archivo.log | más

donde la salida del proceso grep (todas las líneas que contienen 'blair') se canaliza al proceso more (que permite a un usuario de línea de comando leer los resultados una página a la vez).

La misma "tubería" La característica también se encuentra en versiones posteriores de DOS y Microsoft Windows.

Este uso ha llevado a que el personaje en sí se llame "pipe".

Disyunción

En muchos lenguajes de programación, la barra vertical se utiliza para designar la operación lógica o, ya sea o bit a bit o o lógica.

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 doble barra vertical a || b denota un o lógico (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 del 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 o lógico (alternancia). Por ejemplo: el comando Unix grep -E 'fu|bar' coincide con líneas que contienen 'fu' o 'barra'.

Concatenación

El operador de doble barra vertical "||" denota concatenación de cadenas en PL/I, ANSI SQL estándar e informática teórica (particularmente 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 formatos de datos estándar delimitados por barras son LEDES 1998B y HL7. Se utiliza con frecuencia porque las barras verticales suelen ser poco comunes en los datos mismos.

De manera similar, la barra vertical puede usarse como delimitador para operaciones de expresiones regulares (por ejemplo, en sed). Esto es útil cuando la expresión regular contiene instancias del delimitador de barra diagonal más común (/); El uso de una barra vertical elimina la necesidad de escapar de todas las instancias de la barra diagonal. Sin embargo, esto hace que la barra no se pueda utilizar como expresión regular "alternativa" operador.

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.

c)nombre personal■ ::= c)Nombre■ Silencio c)inicial■

Operadora de concurrencia

En los cálculos de procesos comunicantes (como el cálculo pi), la barra vertical se utiliza para indicar que los procesos se ejecutan en paralelo.

APL

La tubería en APL es la función módulo o residuo entre dos operandos y la función de valor absoluto junto a un operando.

Comprensión de listas

La barra vertical se utiliza para la comprensión de listas en algunos lenguajes funcionales, p. Haskell y Erlang. Comparar la notación del constructor de conjuntos.

Marcado de texto

La barra vertical se utiliza como carácter especial en lenguajes de marcado ligeros, en particular el Wikitext de MediaWiki (en las plantillas y enlaces internos).

En el modo de texto LaTeX, la barra vertical produce un guión largo (—). El comando textbar se puede utilizar para producir una barra vertical.

Fonética y ortografía

En las lenguas khoisan y el Alfabeto Fonético Internacional, la barra vertical se utiliza para escribir el clic dental (ǀ). Se utiliza una doble barra vertical 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 del noroeste y noreste del Cáucaso escritas en escritura cirílica tienen una barra vertical llamada palochka (en ruso: палочка, lit. 'palito'), indicando que la consonante precedente es una eyectiva.

Se utilizan barras verticales simples y dobles más largas para marcar los límites prosódicos en la IPA.

Literatura

En los manuscritos europeos medievales, una sola barra vertical era una variante común de la vírgula / se usa como coma o marca de cesura.

En sánscrito y otras lenguas indias, una única marca vertical, un danda, tiene una función similar a la de un punto (punto). Dos barras || (un 'doble danda') es el equivalente a un pilcrow para 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 doble barra vertical ⟨||⟩ o ⟨ǁ⟩ es la marca de cesura estándar en inglés crítica y análisis literario. Marca la fuerte ruptura o cesura común a muchas formas de poesía, particularmente al verso en inglés antiguo. También se utiliza tradicionalmente para marcar la división entre líneas de verso impresas como prosa (el estilo preferido por Oxford University Press), aunque ahora a menudo se reemplaza por la barra diagonal.

Notación

En la Biblia de Ginebra y en las primeras impresiones de la versión King James, se utiliza una doble barra vertical 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 doble barra vertical se usa de manera irregular para marcar cualquier comentario en los márgenes.

Composició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, estrofa, coro) de la música. Las barras individuales también pueden representar el principio y el final de los compases (|: A / / / | D / / / | E / / /:|). Una doble barra vertical asociada a dos puntos puede representar la repetición de una sección determinada (||: A / / /:|| - reproducir dos veces).

Codificación

Barra vertical sólida versus barra rota

Muchos de los primeros terminales de vídeo e impresoras matriciales representaban el carácter de barra vertical como la barra rota alógrafa ¦. Esto puede haber sido para distinguir el carácter de la letra minúscula 'L' y las mayúsculas 'I' 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 ser utilizada como representación del símbolo O lógico. 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. Este borrador recibió la oposición del grupo de usuarios de IBM SHARE, y su presidente, H. W. Nelson, escribió una carta a la Asociación Estadounidense de Estándares titulada "La propuesta revisada del Código Estándar Estadounidense para el Intercambio de Información NO satisface las necesidades de los programadores de computadoras". #34;; En esta carta, sostiene que ningún carácter dentro del subconjunto internacional designado en las columnas 2 a 5 del conjunto de caracteres podría representar adecuadamente el OR lógico y el NO lógico en lenguajes como el PL/I de IBM universalmente en todas las plataformas.. Como compromiso, se introdujo un requisito en el que el signo de exclamación (!) y el circunflejo (^) se mostrarían como O lógico (|) y NO lógico (¬) respectivamente en casos de uso como programación, mientras que fuera de estos casos de uso se mostrarían como representan sus símbolos tipográficos originales:

Puede ser conveniente emplear un estilo distintivo para facilitar su uso con fines específicos, como, por ejemplo, estilizar los gráficos en las posiciones de código 2/1 y 5/14 a los asociados con frecuencia con OR lógico (la vida) y lógica NO (¬) respectivamente.

—Documento X3.2 X3.2/475

La barra vertical original codificada en 0x7C en el borrador original del 12 de mayo de 1966 se dividió como ¦, por lo que no se puede confundir con el OR lógico ininterrumpido. En la revisión de ASCII de 1967, 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 del signo de exclamación se representara como una barra vertical sólida. 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 podía estilizarse como un símbolo NOT lógico, y el signo de exclamación tampoco permitía la 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; 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 carácter como puntos de código diferentes. La amplia implementación de la serie ampliada ASCII ISO/IEC 8859 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 BARRA ROTO (el término "regla dividida" se usa a veces en la documentación de Unicode). Algunas fuentes dibujan los caracteres de la misma manera (ambas son barras verticales sólidas o ambas son barras verticales rotas). La barra rota no parece tener usos claramente identificados distintos de los de la barra vertical. En usos no informáticos — por ejemplo en matemáticas, física y tipografía general — la barra rota no es un sustituto aceptable de la barra vertical.

Muchos teclados con diseño estadounidense o internacional muestran la barra rota en la 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 los teclados fabricados durante las décadas de 1980 y 1990 para computadoras compatibles con IBM PC que presentaban la barra rota, ya que dichas computadoras usaban el juego de caracteres de la página de códigos 437 de 8 bits de IBM basado en ASCII, que continuó mostrando el glifo durante la barra rota en el punto de código 7C en pantallas desde MDA (1981) a VGA (1987) a pesar de los cambios realizados a ASCII en 1977. El teclado del Reino Unido/Irlanda tiene ambos símbolos grabados: la barra rota se muestra como un gráfico alternativo en el &# 34;tumba" tecla (comilla invertida); la barra sólida está en la tecla de barra invertida.

El carácter de barra rota se puede escribir (según el diseño) como AltGr+` o AltGr+6 o AltGr+⇧ Mayús+Derecha en Windows y Redactar!^ en Linux. Se puede insertar en HTML como ¦

En algunos diccionarios, la barra quebrada se utiliza para marcar tensiones que pueden ser primarias o secundarias. Es decir, [¦ba] cubre las pronunciaciones [ˈba] y [ˌba].

Puntos de código Unicode

Estos glifos están codificados en Unicode de la siguiente manera:

• U+007C Silencio LÍNEA VERTICA ()"verbar; ", " VerticalLine;) (línea vertical individual)
• U+00A6 . BROKEN BAR ()brvbar;.
• U+2016 . DOUBLE VERTICAL LINE ()" Verbar; ") (Doble línea vertical (${displaystylefn}$): usado en pares para indicar la norma)
• U+FF5C Silencio LÍNEA VERTICA (forma total)
• U+2225 ∥ PARALLEL TO (Paralela)" DooubleVerticalBar; ", " paralela; ", ")
• U+01C0 . LETTER DENTAL CLICK
• U+01C1 ǁ LATIN LETTER LATERAL CLICK
• U+2223 ▪ DIVIDES∣ ', ' shortmid;, ' smid;, " VerticalBar;)
• U+2502 . BOX DRAWINGS LIGHT VERTICAL"boxv;) (y varios otros caracteres de dibujo de caja en el rango U+2500 a U+257F)
• U+0964 । DEVANAGARI DANDA
• U+0965 ॥ DEVANAGARI DOUBLE DANDA

Páginas de código y otras codificación históricas