Senkrechter Strich

Mathematik

• Der einfache senkrechte Strich steht für
  • die Relation „teilt“ zwischen ganzen Zahlen
  • die bedingte Wahrscheinlichkeit in der Wahrscheinlichkeitstheorie
  • die Einschränkung des Definitionsbereichs einer gegebenen Funktion: Wenn ${\displaystyle A\subseteq B}$ zwei Mengen sind und ${\displaystyle f}$ eine Funktion mit Definitionsbereich ${\displaystyle B}$ ist, so bezeichnet ${\displaystyle f|_{A}}$ die Funktion, die auf ${\displaystyle A}$ mit ${\displaystyle f}$ übereinstimmt und ansonsten undefiniert ist.
  • die Funktionsauswertung an einer Stelle. ${\displaystyle f(x)\vert _{x=1}=f(1)}$
  • die Differenz zweier Funktionswerte an zwei Stellen, etwa bei der Integralrechnung: ${\displaystyle F(x){\Big \vert }_{a}^{b}=F(b)-F(a)}$
  • „mit der Eigenschaft:“ bzw. „für die gilt:“ in der intensionalen Schreibweise von Mengen:

  ${\displaystyle \{2z\mid z\in \mathbb {Z} \}}$ ist die Menge der geraden ganzen Zahlen,

  ${\displaystyle \{(x,\,y)\in \mathbb {R} ^{2}\mid x^{2}+y^{2}=1\}}$ ist der Einheitskreis

  • den Shefferschen Strich in der Logik ${\displaystyle A|B:=\neg (A\wedge B)\equiv {\overline {A\wedge B}}}$

• Ein Paar von einfachen senkrechten Strichen (wie Klammern) bezeichnet
  • den absoluten Betrag einer Zahl
  • die Determinante einer Matrix
  • die Mächtigkeit einer Menge

• Der doppelte senkrechte Strich bezeichnet die Parallelität: ${\displaystyle g\parallel h}$

• Ein Paar von doppelten senkrechten Strichen (wie Klammern) bezeichnet eine Norm

Physik

• In der Dirac-Notation in der Physik ist ${\displaystyle \langle \phi |{\mathcal {O}}|\psi \rangle }$ ein Matrixelement.

Datenverarbeitung und Programmiersprachen

• In Shells bezeichnet ein senkrechter Strich eine Pipe. Mit Pipes lassen sich Eingabe- und Ausgabestrom von zwei Programmen verketten. (Bsp.: ls | more)
• In einigen Auszeichnungssprachen steht der senkrechte Strich für den Rand einer Tabellenzelle
• Bei diversen Datenbanken (z. B. Informix) wird der senkrechte Strich als Standard-Separator von Datenfeldern für exportierte Tabellen benutzt.
• Bei einigen Suchmaschinen wie etwa Google kann der senkrechte Strich – ohne Leerzeichen zwischen Suchbegriffe gesetzt – die Oder-Funktion (den Operator „OR“) ersetzen
• Zwei senkrechte Striche hintereinander bezeichnen in vielen Programmiersprachen (z. B. C, Perl, PHP und Java) das logische Oder und ein einfacher senkrechter Strich das bitweise Oder
• Zwei senkrechte Striche hintereinander bezeichnen in verschiedenen Programmiersprachen (z. B. Rexx und ooRexx) die Verkettung von zwei Zeichenketten

Weitere Verwendungen

• In Lexika und Wörterbüchern, etwa dem Duden, bezeichnet der senkrechte Strich mögliche Trennstellen eines Wortes; alternativ wird manchmal ein Mittelpunkt verwendet.
• In den Textwissenschaften wird der senkrechte Strich häufig zur Markierung eines Seitenwechsels benutzt.
• Auf den Speisekarten von Gourmetrestaurants wird der senkrechte Strich verwendet, wenn von den Gerichten nur die drei Hauptzutaten angegeben werden, um diese zu trennen.
• Im Internationalen Phonetischen Alphabet (IPA) und in Khoisan-Sprachen zeigt ein ähnlicher Klicklautbuchstabe den dentalen Klick.

Da der senkrechte Strich in normalen Texten keine Anwendung findet, zählt er nicht zu den Interpunktionszeichen.