Pionowy pasek - Vertical bar

Pionowy pasek , | , to glif mający różne zastosowania w matematyce , informatyce i typografii . Ma wiele nazw, często związanych z konkretnymi znaczeniami: skok Sheffera (w logice ), rura , vbar , kij , linia pionowa , bar , verti-bar , oraz kilka wariantów tych nazw.

Stosowanie

Matematyka

Pionowy pasek jest używany jako symbol matematyczny na wiele sposobów:

• Wartość bezwzględna : przeczytaj „o wartość bezwzględną z x ”${\displaystyle |x|}$
• Liczność : , odczytać „ liczność w zbiorze S ”${\displaystyle |S|}$
• Prawdopodobieństwo warunkowe : czyta „z prawdopodobieństwem o X daną Y ”${\ Displaystyle P (X | Y)}$
• wyznacznik : przeczytaj „ten wyznacznik z macierzy A ”. Kiedy wpisy macierzy są wypisywane, wyznacznik jest oznaczany przez otoczenie wpisów macierzy pionowymi kreskami zamiast zwykłych nawiasów lub nawiasów macierzy, jak w .${\displaystyle |A|}$ ${\displaystyle {\zaczynać{vmatrix}a&b\\c&d\koniec {vmatrix}}}$
• distance : , oznacza najkrótszą odległość między punktem a linią , więc linia jest prostopadła do linii${\displaystyle P|ab}$${\displaystyle P}$${\displaystyle ab}$${\displaystyle P|ab}$${\displaystyle ab}$
• podzielność : przeczytać " a dzieli b " lub " jest czynnikiem, od B ", choć Unicode zapewnia także specjalne 'podziałów' i 'nie dzieli' symbole (U + U + 2223 i 2224: |, ∤)${\displaystyle a\mid b}$
• ocena: , przeczytaj " f od x , obliczona na x równa się 4" (patrz indeksy w Wikibooks)${\ Displaystyle f (x) | _ {x = 4}}$
• długość: , odczytać „ długość z następujących ciąg s ”${\displaystyle |s|}$
• norm : , przeczytaj " norma wektora (większego niż jednowymiarowego) " (zauważ, że wartość bezwzględna jest normą jednowymiarową), chociaż podwójna pionowa kreska (patrz poniżej) jest częściej używana w celu uniknięcia niejednoznaczności.${\displaystyle |\mathbf {v} |}$${\displaystyle \mathbf {v}}$
• Kolejność : , odczytać „ porządek z grupy G ”${\displaystyle |G|}$
• ograniczenie : , oznacza ograniczenie funkcji , z domeną, która jest nadzbiorem , do${\ Displaystyle f | _ {A}}$${\displaystyle f}$${\ Displaystyle A}$${\ Displaystyle A}$
• notacja set-builder : , czytaj "zbiór x taki, że x jest mniejsze niż dwa". Często zamiast pionowej kreski używa się dwukropka ':'${\ Displaystyle \ {x | x <2 \}}$
• udar Sheffer w logice : przeczytaj „ do NAND b ”${\displaystyle a|b}$
• odejmowanie : , czytaj „ f(x) od a do b ”, oznaczające . Używany w kontekście całki oznaczonej ze zmienną x .${\ Displaystyle f (x) \ vert _ {a} ^ {b}}$ ${\displaystyle f(b)-f(a)}$
• Pionowy pasek może być użyty do oddzielenia zmiennych od stałych parametrów w funkcji, na przykład ${\displaystyle f(x|\mu,\sigma)}$

Podwójny pasek pionowy , jest również stosowana w matematyce. ${\ Displaystyle \ |}$

• równoległość : , czytaj "linia jest równoległa do prostej "${\displaystyle AB\równoległy CD}$${\displaystyle AB}$ ${\displaystyle CD}$
• Norm : , przeczytaj " norma (długość, rozmiar, wielkość itp.) wektora x". Ludzie czasami używają dwóch pojedynczych taktów w analogii do wartości bezwzględnej, która jest normą jednowymiarową.${\ Displaystyle \ | \ mathbf {x} \ |}$
• Propositional obcięcia (a typ byłego że obcina typ dół do zwykłej propozycji w homotopii teorii typów ): Dla każdego (czytaj „określenie typu «) mamy (tu czyta» obraz z w ” i czyta „ zdaniową obcinanie z ”)${\displaystyle a:A}$${\displaystyle a}$${\ Displaystyle A}$${\displaystyle |a|:\lewy\|a\prawy\|}$${\displaystyle |a|}$${\displaystyle a:A}$${\ Displaystyle \ lewo \ | A \ prawo \ |}$${\displaystyle |a|:\lewy\|a\prawy\|}$${\ Displaystyle A}$

W trybie matematycznym LaTeX pionowa kreska ASCII tworzy linię pionową i tworzy podwójną linię pionową ( jest ustawiona jako ). Ma różne odstępy od i , które są operatorami relacyjnymi : jest ustawiony jako . Zobacz poniżej o LaTeX w trybie tekstowym. \|a | b \| c${\displaystyle a|b\|c}$\mid\parallela \mid b \parallel c${\displaystyle a\mid b\równoległy c}$

Fizyka

Pionowa kreska jest używana w notacji klamrowej w fizyce kwantowej . Przykłady:

• ${\displaystyle |\psi \rangle}$: kwantowy stan fizyczny ${\ Displaystyle \ psi}$
• ${\ Displaystyle \ langle \ psi |}$: stan podwójny odpowiadający stanowi powyżej
• ${\ Displaystyle \ langle \ psi | \ rho \ rangle}$: iloczyn skalarny stanów i${\ Displaystyle \ psi}$${\ Displaystyle \ rho}$
• Supergrupy w fizyce są oznaczone jako G ( N | M ), co brzmi „ G , M pionowa kreska N ”; tutaj G oznacza dowolną nadgrupę, M oznacza wymiary bozonowe , a N oznacza wymiary Grassmanna .

Przetwarzanie danych

Rura

Rura jest między proces komunikacji mechanizm pochodzące Unix , która kieruje sygnał wyjściowy (standardowy, a także, ewentualnie, odchylenie standardowe), w jednym procesie z wejściowym (standard w) od drugiego. W ten sposób można „połączyć” szereg poleceń, dając użytkownikom możliwość szybkiego wykonywania złożonego, wieloetapowego przetwarzania z poziomu wiersza poleceń lub jako część skryptu powłoki Unix („plik bash”). W większości powłok Unixa (interpreterów poleceń) jest to reprezentowane przez znak pionowej kreski. Na przykład:

grep -i 'blair' filename.log | more

gdzie dane wyjściowe z grepprocesu są przesyłane do moreprocesu.

Ta sama funkcja „potoku” występuje również w późniejszych wersjach DOS i Microsoft Windows.

To użycie doprowadziło do tego, że sama postać jest nazywana „fajką”.

Dysjunkcja

W wielu językach programowania, pionowy pasek służy do wyznaczenia operacji logicznej lub , albo bitowego lub lub logiczny lub .

W szczególności w C i innych językach zgodnych z konwencjami składni C , takimi jak C++ , Perl , Java i C# , a | boznacza bitową lub ; natomiast podwójna pionowa kreska a || boznacza ( zwarte ) logiczne lub . Ponieważ znak nie był pierwotnie dostępny we wszystkich stronach kodowych i układach klawiatury, ANSI C może dokonać jego transkrypcji w postaci trigraph ??! , który poza literałami łańcuchowymi jest odpowiednikiem |znaku.

W składni wyrażeń regularnych pionowa kreska ponownie wskazuje logiczną lub ( alternację ). Na przykład: polecenie uniksowe grep -E 'fu|bar'dopasowuje wiersze zawierające 'fu' lub 'bar'.

Powiązanie

Operator podwójnej pionowej kreski „||” oznacza ciąg konkatenacji w PL / I , standard ANSI SQL i teoretyczną (zwłaszcza kryptograficznej ).

Ogranicznik

Chociaż nie jest to tak powszechne, jak przecinki lub tabulatory, pionowy pasek może być używany jako ogranicznik w pliku tekstowym . Przykładami standardowego formatu danych rozdzielanych rurami są LEDES 1998B i HL7 . Jest często używany, ponieważ pionowe słupki są zwykle rzadkością w samych danych.

Podobnie pionowa kreska może być używana jako ogranicznik dla operacji wyrażeń regularnych (np. w sed ). Jest to przydatne, gdy wyrażenie regularne zawiera wystąpienia bardziej powszechnego /ogranicznika ukośnika ( ); użycie pionowego paska eliminuje potrzebę ucieczki od wszystkich wystąpień ukośnika. Jednak sprawia to, że pasek nie nadaje się do użycia jako operator „alternatywny” wyrażenia regularnego.

Forma Backusa-Naura

W postaci Backusa-Naura wyrażenie składa się z ciągów symboli i/lub ciągów oddzielonych znakiem „|”, wskazującym na wybór , przy czym całość jest możliwą substytucją symbolu po lewej stronie.

<personal-name> ::= <name> | <initial>

Operator współbieżności

W obliczeniach komunikujących się procesów (takich jak pi-rachunek ) pionowa kreska jest używana do wskazania, że ​​procesy są wykonywane równolegle.

APL

Potok w APL to funkcja modulo lub pozostałość między dwoma operandami i funkcja wartości bezwzględnej obok jednego operandu.

Lista zrozumienia

Pionowa kreska jest używana do list składanych w niektórych językach funkcjonalnych, np. Haskell i Erlang . Porównaj notację konstruktora zestawów .

Znaczniki tekstowe

Pionowy pasek służy jako znak specjalny w lekkich języków znaczników , zwłaszcza MediaWiki „s wikitekst (w szablonach i wewnętrznych linków).

W trybie tekstowym LaTeX pionowy pasek tworzy pauzę (—). \textbarKomenda może być użyta do wytworzenia pionowy pasek.

Fonetyka i ortografia

W językach Khoisan i międzynarodowym alfabecie fonetycznym pionowa kreska służy do wpisywania kliknięcia zębowego ( ǀ ). Podwójna pionowa kreska służy do wpisywania bocznego kliknięcia wyrostka zębodołowego ( ǁ ). Ponieważ są to technicznie litery, mają własne punkty kodowe Unicode w zakresie Latin Extended-B : U + 01C0 dla pojedynczej kreski i U + 01C1 dla podwójnej kreski.

Niektóre północno - zachodnie i północno - wschodnie języki kaukaskie pisane cyrylicą mają pionową kreskę zwaną palochka (ros. палочка , dosł. „mały kij”), co oznacza, że ​​poprzedzająca spółgłoska jest ejektywem .

Dłuższe pojedyncze i podwójne pionowe kreski służą do zaznaczania granic prozodycznych w IPA.

Literatura

Interpunkcja

W średniowiecznych rękopisach europejskich pojedyncza pionowa kreska była powszechną odmianą virguli ⟨ / ⟩ używanej jako kropka , przecinek i znak cezury .

W sanskrycie i innych językach indyjskich pojedynczy pionowy znak, danda , pełni podobną funkcję jak kropka (kropka). Dwa słupki || ('podwójna danda') jest odpowiednikiem pilcrow w oznaczaniu końca zwrotki , akapitu lub sekcji. Danda ma swój własny punkt kodowy Unicode, U+0964.

Poezja

Podwójna pionowa kreska ⟨||⟩ lub ⟨ǁ⟩ to standardowy znak cezury w angielskiej krytyce i analizie literackiej . Oznacza to silne zerwanie lub cezurę, wspólne dla wielu form poezji , zwłaszcza poezji staroangielskiej .

Notacja

W Biblii Genewskiej i wczesnych drukach Wersji Króla Jakuba podwójna pionowa kreska jest używana do zaznaczania notatek na marginesach, które zawierają alternatywne tłumaczenie tekstu oryginalnego. Te notatki na marginesie zawsze zaczynają się od spójnika „Or”. W późniejszych drukach Wersji Króla Jakuba podwójna pionowa kreska jest używana nieregularnie do zaznaczania wszelkich komentarzy na marginesach.

Punktacja muzyczna

W muzyce, podczas pisania arkuszy akordów, pojedyncze pionowe kreski powiązane z dwukropkiem (|: A / / / :|) reprezentują początek i koniec sekcji (np. Intro, Interludium, Verse, Chorus) muzyki. Pojedyncze słupki mogą również reprezentować początek i koniec taktów (|: A / / / | D / / / | E / / / :|). Podwójna pionowa kreska powiązana z dwukropkiem może reprezentować powtórzenie danej sekcji (||: A / / / :|| - zagraj dwa razy).

Kodowanie

Solidny pionowy pasek vs uszkodzony pasek

Punkt kodowy 124 (7C szesnastkowy ) jest zajęty przez zepsutą kreskę w drukarce igłowej z końca lat 80., w której najwyraźniej brakuje jednolitej pionowej kreski. Zobacz pełny obraz .

Wiele wczesnych terminali wideo i drukarek igłowych renderowało pionową kreskę jako łamaną kreskę allografu ¦ . Mogło to mieć na celu odróżnienie znaku od małej litery „L” i dużej litery „ I ” na tych urządzeniach o ograniczonej rozdzielczości oraz sprawienie, by ich pionowa linia wyglądała bardziej jak pozioma linia kresek. Był również (krótko) częścią standardu ASCII .

Wstępny projekt 7-bitowego zestawu znaków, który został opublikowany przez podkomisję X3.2 ds. kodowanych zestawów znaków i formatu danych 8 czerwca 1961 r., był pierwszym, który zawierał pionowy pasek w standardowym zestawie. Pasek miał być używany jako reprezentacja logicznego symbolu OR . Kolejny projekt z 12 maja 1966 r. umieszcza pionową kreskę w kolumnie 7 obok regionalnych punktów kodowych wejścia i stanowi podstawę oryginalnej propozycji projektu używanej przez Międzynarodową Organizację Normalizacyjną . Projekt ten spotkał się ze sprzeciwem grupy użytkowników IBM znanej jako SHARE, której przewodniczący, HW Nelson, napisał list do American Standards Association zatytułowany „Proponowany zmieniony Amerykański Standardowy Kod Wymiany Informacji NIE spełnia potrzeb programistów!”; w tym liście twierdzi on, że żadne znaki w międzynarodowym podzbiorze wyznaczonym w kolumnach 2-5 zestawu znaków nie byłyby w stanie odpowiednio reprezentować logicznego OR i logicznego NIE w językach takich jak PL/I IBM, powszechnie na wszystkich platformach. Jako kompromis wprowadzono wymóg, w którym wykrzyknik (!) i cyrkumfleks (^) będą wyświetlane odpowiednio jako logiczne OR (|) i logiczne NIE (¬) w przypadkach użycia, takich jak programowanie, podczas gdy poza tymi przypadkami użycia reprezentują ich oryginalne symbole typograficzne:

Może być pożądane zastosowanie charakterystycznego stylu, aby ułatwić ich użycie do określonych celów, na przykład, aby stylizować grafikę w pozycjach kodu 2/1 i 5/14 na te, które często są kojarzone z logicznym OR (|) i logicznym NIE (¬) odpowiednio.

—  Dokument X3.2 X3.2/475

Oryginalna pionowa kreska zakodowana w 0x7C w oryginalnym szkicu z 12 maja 1966 została następnie złamana jako ¦ , więc nie można jej pomylić z nieprzerwanym logicznym OR. W wersji ASCII z 1967 r., wraz z równoważnym kodem ISO 464 opublikowanym w tym samym roku, punkt kodowy został zdefiniowany jako złamana pionowa kreska, a znak wykrzyknika mógł być renderowany jako ciągła pionowa kreska. Jednak rewizja z 1977 r. (ANSI X.3-1977) cofnęła zmiany wprowadzone w rewizji z 1967 r., wymuszając, że daszkiem nie można już stylizować jako logicznego symbolu NIE, wykrzyknik również nie pozwala już na stylizację jako pionowej kreski, i zdefiniowanie zamiast tego punktu kodowego ustawionego na złamany pasek jako pełny pionowy pasek; te same zmiany zostały również cofnięte w ISO 646-1973 opublikowanej cztery lata wcześniej.

Niektóre warianty EBCDIC zawierały obie wersje znaku jako różne punkty kodowe. Szerokie wdrożenie rozszerzonej serii ASCII ISO/IEC 8859 w latach 90-tych również wprowadziło rozróżnienie między tymi dwiema formami. Zostało to zachowane w Unicode jako osobny znak pod U+00A6 BROKEN BAR (termin „reguła rozdzielająca” jest czasami używany w dokumentacji Unicode). Niektóre czcionki rysują znaki w ten sam sposób (obie są pełnymi pionowymi paskami lub oba są przerywanymi pionowymi paskami). Zepsuty pasek nie wydaje się mieć żadnych wyraźnie określonych zastosowań różniących się od tych z paska pionowego. W zastosowaniach niekomputerowych — na przykład w matematyce, fizyce i ogólnej typografii — zepsuty pasek nie jest akceptowalnym substytutem paska pionowego.

Amerykańska klawiatura międzynarodowa z uszkodzonym paskiem na klawiszu, mimo że wpisanie Shift + ten klawisz powoduje wyświetlenie pełnego pionowego paska.

Pełny zestaw znaków strony kodowej IBM 437 wyrenderowany w formacie VGA, który wyświetla uszkodzony glif dla punktu kodowego 7C, pomimo wersji ASCII z 1977 r.

Wiele klawiatur z układem US lub US-International wyświetla uszkodzony pasek na nasadce klawisza, mimo że pełny pionowy znak jest produkowany w nowoczesnych systemach operacyjnych. Obejmuje to wiele niemieckich klawiatur QWERTZ . Jest to spuścizna po klawiaturach wyprodukowanych w latach 80. i 90. dla komputerów kompatybilnych z IBM PC z uszkodzonym paskiem, ponieważ takie komputery używały 8-bitowego zestawu znaków strony kodowej IBM 437 opartego na ASCII, który nadal wyświetlał glif dla uszkodzonego paska na codepoint 7C na wyświetlaczach od MDA (1981) do VGA (1987) pomimo zmian wprowadzonych do ASCII w 1977 roku.

Znak złamanego paska można wpisać (w zależności od układu) jako AltGr+ `lub AltGr+ 6lub AltGr+ ⇧ Shift+ Right \w systemie Windows i Compose!^Linux. Można go wstawić do HTML jako¦

W niektórych słownikach złamany pasek służy do oznaczania naprężeń, które mogą być pierwotne lub wtórne. Oznacza to, że [¦ba] obejmuje wymowy [ˈba] i [ˌba] .

Punkty kodowe Unicode

Te glify są zakodowane w Unicode w następujący sposób:

• U+007C | LINIA PIONOWA (HTML |  · |, |, | ) (pojedyncza linia pionowa)
• U+00A6 ¦ USZKODZONY PASEK (HTML ¦  · ¦ ) (pojedyncza linia przerywana)
• U+2016 ‖ PODWÓJNA LINIA PIONOWA (HTML ‖  · ‖, ‖ ) (podwójna linia pionowa (): używane parami do oznaczenia normy )${\ Displaystyle \ |}$
• U+FF5C ｜ LINIA PIONOWA O PEŁNEJ SZEROKOŚCI (HTML ｜) ( formularz o pełnej szerokości )
• U+2225 ∥ RÓWNOLEGLE DO (HTML ∥  · ∥, ∥, ∥, ∥, ∥ )
• U + 01C0 ǀ ŁACIŃSKA LITERA DENTAL CLICK (HTML ǀ)
• U + 01C1 ǁ LATIN LIST LATERAL CLICK (HTML ǁ)
• U+2223 ∣ DZIELENIE (HTML ∣  · ∣, ∣, ∣, ∣ )
• U+2502 │ RYSUNKI PUDEŁKOWE JASNE PIONOWE (HTML │  · │ ) (i różne inne postacie do rysowania pudełek w zakresie U+2500 do U+257F)
• U + 0964 . DEVANAGARI DANDA (HTML ।)
• U + 0965 . DEVANAGARI PODWÓJNA DANDA (HTML ॥)

Strony kodowe i inne kodowania historyczne

Zobacz też

• Bar (znak diakrytyczny)
• Potrójny bar

Uwagi

Bibliografia