Вертикальная полоса
| | |
---|---|
Вертикальная полоса | |
В Юникоде | U+007C | ВЕРТИКАЛЬНАЯ ЛИНИЯ ( |, |, | ) |
Связанный | |
См. также | U+00A6 ¦ Сломанный стержень ( ¦ ) U+2016 ‖ ДВОЙНАЯ ВЕРТИКАЛЬНАЯ ЛИНИЯ ( &Вербар;, &Верт; ) |
полоса Вертикальная , | , — это глиф , имеющий различное применение в математике , вычислительной технике и типографике . Имеет множество названий, часто связанных с конкретными значениями: Шеффера (в логике ), труба , бар или штрих (буквально слово «или»), vbar и другие. [1]
Использование
[ редактировать ]Математика
[ редактировать ]Вертикальная черта используется как математический символ по-разному. Если использовать его в качестве пары скобок, это предполагает понятие слова «размер». Это:
- абсолютное значение : , прочитайте « значение x » абсолютное [2]
- мощность : читайте « множества S » или « длину строки S » мощность
- определитель : , читаем « определитель матрицы . А » [2] Когда элементы матрицы выписаны, определитель обозначается путем окружения элементов матрицы вертикальными чертами вместо обычных скобок или круглых скобок матрицы, как в .
- заказ : , читайте « порядок группы G » , или , " порядок элемента "
Аналогично, вертикальная черта также используется отдельно по-разному:
- условная вероятность : , прочитайте « вероятность X Y условии при »
- расстояние : , обозначающий кратчайшее расстояние между точкой выровнять , поэтому линия перпендикулярен линии
- делимость : читайте « a делит b » или « a является делителем b » , хотя Unicode также предоставляет специальные символы «делит» и «не делит» (U+2223 и U+2224:∣, ∤) [2]
- оценка функции : , прочитайте « f of x , оцененное по x равно 4» (см. индексы в Wikibooks)
- ограничение : , обозначающий ограничение функции , с доменом, который является надмножеством , чтобы просто
- обозначение конструктора множеств : читайте «набор x таких, что x меньше двух ». Часто двоеточие «:». вместо вертикальной черты используется
- Шеффера ход в логике : , прочитай " а и б "
- вычитание : , прочитайте « f(x) от a до b », обозначая . Используется в контексте определенного интеграла с переменной x .
- Вертикальную черту можно использовать для отделения переменных от фиксированных параметров в функции, например , или в обозначениях эллиптических интегралов .
Двойная вертикальная полоса , , также занимается математикой.
- параллелизм : , прочитай "строку параллельно линии "
- норма : , читаем " норма (длина, размер, величина и т.д.) матрицы ". Нормой одномерного вектора является абсолютное значение, используются отдельные столбцы. [3]
- Пропозициональное усечение : ( формирователь типа , который усекает тип до простого предложения в теории гомотопических типов ): для любого (читай «термин типа ") у нас есть [4] (здесь читает изображение « в " и читается как « пропозициональное усечение ") [5]
В математическом режиме LaTeX вертикальная полоса ASCII образует вертикальную линию, а \|
создает двойную вертикальную линию ( a | b \| c
устанавливается как ). Это имеет другой интервал от \mid
и \parallel
, которые являются операторами отношения : a \mid b \parallel c
устанавливается как . См. ниже информацию о LaTeX в текстовом режиме.
Химия
[ редактировать ]В химии вертикальная линия используется в обозначении электрохимических ячеек.
Пример,
Зн | Зн 2+ || С 2+ | С
Одиночные вертикальные линии показывают компоненты клетки, которые не смешиваются и обычно находятся в разных фазах. Двойная вертикальная линия ( || ) используется для обозначения соляного моста; который используется для обеспечения движения свободно движущихся ионов.
Физика
[ редактировать ]Вертикальная черта используется в обозначениях скобок в квантовой физике . Примеры:
- : квантово-физическое состояние
- : двойное состояние, соответствующее состоянию выше
- : внутренний продукт государств и
- Супергруппы в физике обозначаются G ( N | M ), что читается как « G , M вертикальная черта N »; здесь G обозначает любую супергруппу, M обозначает бозонные размерности , а N обозначает грассмановы размерности . [6]
Вычисление
[ редактировать ]Трубка
[ редактировать ]Канал механизм — это межпроцессного взаимодействия , возникший в Unix , который направляет вывод (стандартный вывод и, необязательно, стандартную ошибку) одного процесса на ввод (стандартный ввод) другого. Таким образом, ряд команд можно «соединить» вместе, давая пользователям возможность быстро выполнять сложную многоэтапную обработку из командной строки или как часть сценария оболочки Unix («bash-файл»). В большинстве оболочек Unix (интерпретаторов команд) это представлено вертикальной чертой. Например:
grep -i 'blair' filename.log | more
где вывод из grep процесс (все строки, содержащие слово «blair») передаются в more процесс (который позволяет пользователю командной строки читать результаты по одной странице за раз).
Та же функция «конвейера» также присутствует в более поздних версиях DOS и Microsoft Windows.
Такое использование привело к тому, что самого персонажа стали называть «трубой».
Дизъюнкция
[ редактировать ]Во многих языках программирования вертикальная черта используется для обозначения логической операции или , либо поразрядной , либо логической или .
В частности, в C и других языках, следующих синтаксическим соглашениям C , таким как C++ , Perl , Java и C# , a | b
обозначает побитовое или ; тогда как двойная вертикальная полоса a || b
обозначает ( короткозамкнутое ) логическое или . Поскольку изначально этот символ был доступен не во всех кодовых страницах и раскладках клавиатуры, ANSI C может транскрибировать его в форме триграфа. ??!
, что вне строковых литералов эквивалентно |
характер.
В синтаксисе регулярных выражений вертикальная черта снова обозначает логическое или ( чередование ). Например: команда Unix grep -E 'fu|bar'
соответствует строкам, содержащим «фу» или «бар».
Конкатенация
[ редактировать ]Оператор двойной вертикальной черты «||» обозначает строк конкатенацию в PL/I , стандартном ANSI SQL и теоретической информатике (в частности, криптографии ).
Разделитель
[ редактировать ]Вертикальную черту можно использовать в качестве разделителя в плоском файле , хотя это и не так распространено, как запятые или табуляции. Примерами стандартного формата данных , разделенного вертикальной чертой, являются LEDES 1998B и HL7 . Он часто используется, поскольку вертикальные полосы в самих данных обычно встречаются редко.
Аналогичным образом, вертикальная черта может использоваться в качестве разделителя для операций регулярных выражений (например, в sed ). Это полезно, когда регулярное выражение содержит экземпляры более распространенной косой черты ( /
) разделитель; использование вертикальной черты устраняет необходимость экранировать все случаи косой черты. Однако это делает полосу непригодной для использования в качестве «альтернативного» оператора регулярного выражения.
Форма Бэкуса – Наура
[ редактировать ]В форме Бэкуса-Наура выражение состоит из последовательностей символов и/или последовательностей, разделенных символом «|», указывающим на выбор , причем все это является возможной заменой символа слева.
<personal-name> ::= <name> | <initial>
Оператор параллелизма
[ редактировать ]В исчислениях взаимодействующих процессов (например, в пи-исчислении ) вертикальная черта используется для обозначения того, что процессы выполняются параллельно.
АПЛ
[ редактировать ]Конвейер в APL — это функция по модулю или вычету между двумя операндами и функция абсолютного значения рядом с одним операндом.
Список понятий
[ редактировать ]Вертикальная полоса используется для понимания списков в некоторых функциональных языках, например Haskell и Erlang . Сравните нотацию построителя множеств .
Текстовая разметка
[ редактировать ]Вертикальная черта используется как специальный символ в облегченных языках разметки , особенно ( MediaWiki в Wikitext в шаблонах и внутренних ссылках).
В текстовом режиме LaTeX вертикальная черта представляет собой длинное тире (—). \textbar
Команда может использоваться для создания вертикальной полосы.
Фонетика и орфография
[ редактировать ]В койсанских языках и Международном фонетическом алфавите вертикальная черта используется для записи зубного щелчка ( π ). Двойная вертикальная черта используется для обозначения альвеолярного латерального щелчка ( ρ ). Поскольку технически это буквы, они имеют свои собственные Unicode кодовые точки в диапазоне Latin Extended-B : U+01C0 для одинарной черты и U+01C1 для двойной черты.
В некоторых языках Северо-Западного и Северо-Восточного Кавказа, написанных кириллицей, есть вертикальная черта, называемая палочка (русский язык: палочка , букв. «палочка»), указывающая на то, что предшествующий согласный является отрывающим .
Более длинные одинарные и двойные вертикальные полосы используются для обозначения просодических границ в IPA.
Литература
[ редактировать ]
В средневековых европейских рукописях одиночная вертикальная черта была распространенным вариантом виргулы , используемой в качестве запятой . [7] или резки метка [7]
В санскрите и других индийских языках один вертикальный знак, данда , выполняет аналогичную функцию точки (точки). Два бара || («двойная данда») — эквивалент пилочки , обозначающей конец строфы , абзаца или раздела. У данды есть собственный код Unicode — U+0964.
Поэзия
[ редактировать ]Двойная вертикальная черта ⟨||⟩ или ⟨ρ⟩ является стандартным знаком цезуры в английской литературной критике и анализе. Он отмечает сильный разрыв или цезуру, характерную для многих форм поэзии , особенно для древнеанглийского стиха . Он также традиционно используется для обозначения разделения строк стихов, напечатанных в прозе (стиль, предпочитаемый Oxford University Press ), хотя сейчас его часто заменяют косой чертой . [ нужна ссылка ]
Обозначения
[ редактировать ]В Женевской Библии и ранних изданиях « Версии короля Иакова » двойная вертикальная полоса используется для обозначения примечаний на полях , содержащих альтернативный перевод оригинального текста. Эти примечания на полях всегда начинаются с союза «Или». В более поздних изданиях «Версии короля Иакова» двойная вертикальная полоса нерегулярно используется для обозначения комментариев на полях.
Двойная вертикальная черта может использоваться для обозначения сноски . (Традиционный порядок этих символов в английском языке — * , † , ‡ , § , ‖, ¶ предпочтительны цифры и буквы , поэтому его использование очень редко; в современном использовании для концевых и сносок . [8] )
Музыкальное озвучивание
[ редактировать ]В музыке при написании листов аккордов одиночные вертикальные полосы, связанные с двоеточием (|: A / / / :|), обозначают начало и конец музыкального раздела (например, вступления, интерлюдии, куплета, припева). [ нужна ссылка ] Одиночные полосы также могут обозначать начало и конец тактов (|: A / / / | D / / / | E / / / :|). Двойная вертикальная черта, связанная с двоеточием, может обозначать повтор данного раздела (||: A / / / :|| — воспроизвести дважды). [ нужна ссылка ]
Кодирование
[ редактировать ]Сплошная вертикальная полоса и сломанная полоса
[ редактировать ]Многие ранние видеотерминалы и матричные принтеры отображали вертикальную полосу как аллографическую ломаную полосу ¦ . Возможно, это было сделано для того, чтобы отличить этот символ от строчной буквы «L» и прописной буквы « I » на этих устройствах с ограниченным разрешением и сделать их вертикальную линию более похожей на горизонтальную линию из тире. Он также (на короткое время) был частью стандарта ASCII .
Первоначальный проект 7-битного набора символов, опубликованный подкомитетом X3.2 по наборам кодированных символов и формату данных 8 июня 1961 года, был первым, в котором вертикальная полоса была включена в стандартный набор. Полоса предназначалась для обозначения логического символа ИЛИ . [9] В последующем проекте от 12 мая 1966 года вертикальная черта помещается в столбце 7 рядом с кодами региональных входов и легла в основу первоначального проекта предложения, используемого Международной организацией по стандартизации . [9] Этот проект встретил сопротивление со стороны IBM группы пользователей SHARE , председатель которой Х. У. Нельсон написал письмо в Американскую ассоциацию стандартов под названием «Предлагаемый пересмотренный американский стандартный код для обмена информацией НЕ отвечает потребностям программистов!»; в этом письме он утверждает, что никакие символы в международном подмножестве, обозначенном в столбцах 2–5 набора символов, не смогут адекватно представлять логическое ИЛИ и логическое НЕ в таких языках, как IBM PL/I, универсально на всех платформах. [10] В качестве компромисса было введено требование, при котором восклицательный знак (!) и циркумфлекс (^) отображались как логическое ИЛИ (|) и логическое НЕ (¬) соответственно в таких случаях использования, как программирование, тогда как за пределами этих вариантов использования они отображались бы как логическое ИЛИ (|) и логическое НЕ (¬) соответственно. представляют их оригинальные типографские символы:
«Возможно, будет желательно использовать особый стиль, чтобы облегчить их использование для конкретных целей, например, стилизовать графику в позициях кода 2/1 и 5/14 под те, которые часто связаны с логическим ИЛИ (|) и логическим НЕ (¬). ) соответственно."
— X3.2 документ X3.2/475 [11]
Исходная вертикальная черта, закодированная как 0x7C в первоначальном проекте от 12 мая 1966 года, была затем разбита на ¦ , поэтому ее нельзя было спутать с непрерывным логическим ИЛИ. В версии ASCII 1967 года, наряду с эквивалентным кодом ISO 464, опубликованным в том же году, кодовая точка была определена как прерывистая вертикальная полоса, а символ восклицательного знака разрешалось отображать как сплошную вертикальную полосу. [12] [13] Однако версия 1977 года (ANSI X.3-1977) отменила изменения, внесенные в версию 1967 года, в результате чего циркумфлекс больше нельзя было стилизовать как логический символ НЕ, а восклицательный знак также больше не допускал стилизацию в виде вертикальной черты. и определение кодовой точки, первоначально установленной для прерывистой полосы, вместо сплошной вертикальной полосы; [12] те же изменения были отменены в ISO 646-1973, опубликованном четырьмя годами ранее.
Некоторые варианты EBCDIC включали обе версии символа как разные кодовые точки. Широкое внедрение расширенной серии ASCII ISO/IEC 8859 в 1990-х годах также провело различие между этими двумя формами. Это было сохранено в Юникоде как отдельный символ в U + 00A6 BROKEN BAR (термин «разделенное правило» иногда используется в документации Unicode). В некоторых шрифтах символы отображаются одинаково (оба представляют собой сплошные вертикальные полосы или обе представляют собой прерывистые вертикальные полосы). [14] [ не удалось пройти проверку ]
для США, США и Германии Многие клавиатуры с раскладкой QWERTZ отображают прерывистую полосу на колпачке клавиши, хотя на ней отображается сплошная вертикальная полоса. Это наследие клавиатур, изготовленных в 1980-х и 1990-х годах для компьютеров, совместимых с IBM PC , поскольку IBM PC продолжал отображать символ сломанной полосы в кодовой точке 7C на дисплеях от MDA (1981) до VGA (1987), несмотря на внесенные изменения. в ASCII в 1977 году. На клавиатуре Великобритании/Ирландии выгравированы оба символа: сломанная полоса представлена как альтернативный рисунок на клавише «могила» ( обратный кавычек ); сплошная полоса находится на клавише обратной косой черты .
Символ ломаной полосы можно набрать (в зависимости от макета) как AltGr+ ` или AltGr+ 6 или AltGr+ ⇧ Shift+ \ в Windows и Compose!^ на Линуксе. Его можно вставить в HTML как ¦
Сломанная полоса, судя по всему, не имеет какого-либо четко определенного применения, отличного от использования вертикальной полоски. [15] В некомпьютерных целях — например, в математике, физике и общей типографике — прерывистая полоса не является приемлемой заменой вертикальной черты. В некоторых словарях пунктирная черта используется для обозначения ударения, которое может быть первичным или второстепенным: [¦ba] охватывает произношение [ˈba] и [ˌba] . [16]
Кодовые точки Юникода
[ редактировать ]Эти глифы кодируются в Юникоде следующим образом:
- U+007C | ВЕРТИКАЛЬНАЯ ЛИНИЯ ( |, |, | ) (одна вертикальная линия)
- U+00A6 ¦ Сломанный стержень ( ¦ ) (одинарная пунктирная линия)
- U+2016 ‖ ДВОЙНАЯ ВЕРТИКАЛЬНАЯ ЛИНИЯ ( &Вербар;, &Верт; ) (двойная вертикальная линия ( ): используется парами для обозначения нормы )
- U+FF5C | ВЕРТИКАЛЬНАЯ ЛИНИЯ ПОЛНОЙ ШИРИНЫ ( форма полной ширины )
- U+FFE4 ¦ ЛОМАНАЯ ПОЛОСКА НА ПОЛНУЮ ШИРИНУ
- U + 2225 ∥ ПАРАЛЛЕЛЬНО ( ∥, ∥, ∥, ∥, ∥ )
- U+01C0 ƀ ЛАТИНСКАЯ БУКВА СТОМАТОЛОГИЧЕСКИЙ КЛИК
- U+01C1 — ЛАТИНСКАЯ БУКВА БОКОВОЙ ЩЕЛЧОК
- U+2223 ∣ РАЗДЕЛЯЕТ ( ∣, ∣, ∣, ∣ )
- U+2502 │ ЧЕРТЕЖИ КОРОБКИ СВЕТ ВЕРТИКАЛЬНЫЕ ( │ ) (и различные другие символы рисования прямоугольников в диапазоне от U+2500 до U+257F)
- U+0964 . ДЕВАНАГАРИ ДАНДА
- U+0965 ॥ ДЕВАНАГАРИ ДВОЙНОЙ ДАНДА
Кодовые страницы и другие исторические кодировки
[ редактировать ]Кодовые страницы, ASCII, ISO/IEC, EBCDIC, Shift-JIS и т. д. | Вертикальная полоса ( | )
|
Сломанная планка ( ¦ )
|
---|
См. также
[ редактировать ]- Бар (диакритический знак) - диакритический знак, используемый в некоторых языках.
- Тройная полоса – символ с множеством значений.
Примечания
[ редактировать ]- ^ Формы с кодировкой Shift JIS и EUC также включают вертикальную черту ASCII в ее обычной кодировке (см. формы половинной и полной ширины ). То же самое относится и к использованию 7-битной формы как части ISO-2022-JP (позволяющей переключаться на ASCII и обратно).
Ссылки
[ редактировать ]- ^ Рэймонд, Эрик С. «ASCII» . Файл жаргона . Архивировано из оригинала 30 октября 2023 года.
- ^ Перейти обратно: а б с Вайсштейн, Эрик В. «Один бар» . Вольфрам Математический мир . Проверено 24 августа 2020 г.
- ^ Вайсштейн, Эрик В. «Матрица Нормы» . Вольфрам Математический мир . Проверено 24 августа 2020 г.
- ^ Программа Uniвалентных фондов (2013). Гомотопическая теория типов: одновалентные основы математики (версия GitHub) (PDF) . Институт перспективных исследований. п. 108. Архивировано из оригинала (PDF) 7 июля 2017 г. Проверено 1 июля 2017 г.
- ^ Программа Uniвалентных фондов (2013). Гомотопическая теория типов: одновалентные основания математики (версия для печати) . Институт перспективных исследований. п. 450.
- ^ Ларус Торлациус, Тордур Йонссон (ред.), М-теория и квантовая геометрия , Springer, 2012, стр. 263.
- ^ Перейти обратно: а б «Виргула». Оксфордский словарь английского языка . Том. XII (Исправленное переиздание). Издательство Оксфордского университета. 1933. с. 235 . .
- ^ Брингхерст, Роберт (2005). Элементы типографского стиля (версия 3.1 изд.). Пойнт Робертс, Вашингтон: Хартли и Маркс. стр. 68–69.
Но за исключением... двойного кинжала, этот орден большинству читателей не знаком и никогда не был знаком.
- ^ Перейти обратно: а б Фишер, Эрик (2012). Эволюция кодов символов, 1874–1968 (Диссертация). Пенсильванский государственный университет. CiteSeerX 10.1.1.96.678 . Проверено 10 июля 2020 г.
- ↑ HW Нельсон, письмо Томасу Б. Стилу, 8 июня 1966 г., Отчеты подкомитета по стандартам Honeywell Inc. X3.2, 1961–1969 (CBI 67), Институт Чарльза Бэббиджа, Университет Миннесоты, Миннеаполис, коробка 1, папка 23.
- ^ Документ X3.2 X3.2/475, 13 декабря 1966 г., Honeywell Inc.. X3.2 Отчеты подкомитета по стандартам, 1961–1969 (CBI 67), Институт Чарльза Бэббиджа, Университет Миннесоты, Миннеаполис, ящик 1, папка 22.
- ^ Перейти обратно: а б Сальсте, Туомас (январь 2016 г.). «7-битные наборы символов: версии ASCII» . Айвосто Ой. урна : nbn:fi-fe201201011004 . Архивировано из оригинала 13 июня 2016 г. Проверено 13 июня 2016 г.
- ^ Корпела, Юкка. «Истории персонажей — заметки о некоторых позициях кода Ascii» . Архивировано из оригинала 11 марта 2020 г. Проверено 31 мая 2020 г.
- ^ Джим Прайс (24 мая 2010 г.). «Диаграмма ASCII: расширенные отображаемые символы ASCII IBM PC» . Проверено 23 февраля 2012 г.
- ^ Юкка «Юкка» Корпела (20 сентября 2006 г.). «Подробные описания персонажей» . Проверено 23 февраля 2012 г.
- ^ Например, «Балеарские острова» . Словарь Merriam-Webster.com . .