fsymbols
Loading symbols…
››
⫴

triple vertical bar binary relation

Triple Vertical Bar Binary Relation

245/256

⫴ is a single maths symbol made of three vertical bars, placed between two things like an operator. Its usual meaning is interleave: in computer science, P ⫴ Q describes two processes running side by side with their steps mixed in any order. It is one character, not three bars typed together.

Text symbol

What ⫴ means

It usually means the two sides are interleaved.

The best-known use comes from process algebra, the mathematics of programs that run at the same time. In Tony Hoare's CSP (Communicating Sequential Processes), P ⫴ Q, often typed as P Q, is a system where P and Q each run independently and their actions are shuffled together, without waiting for each other. Unicode files the character among relations and operators that sit between two operands, and lists "interleave" as its reading. Outside such notation it has no everyday meaning.

A technical notation mark; you meet it in computer-science and logic texts, not in chat.

Don't swap it for , which fences content like brackets rather than joining two sides.

Part of collections

Don't confuse it with

4

Three ordinary vertical bars; plain-text stand-in for ⫴, but three separate characters for search and spacing.

Questions people ask

2

Is ⫴ the same as typing ?

No. is three separate characters; ⫴ is one symbol with maths spacing. Texts often write when ⫴ isn't available.

Does it mean "parallel"?

Not quite. Two bars or usually mean parallel or synchronised; three bars mean interleaving with no synchronisation.

How to type or find ⫴

Also called
interleave · triple bar relation
Search it as
triple vertical bar · three vertical lines · ||| · binary relation · CSP interleaving · \interleave
Shows up in
Anything that takes text · its shape is whatever your font draws
Windows (Word)
⎇Alt+XType 2AF4, then AltX to get ⫴.
Windows
⊞Win+Rrun charmap for the full table, or use the emoji picker's Ω symbols tab (Win .).
macOS
⌃Control+⌘Command+␣SpaceOpen the character viewer and search “triple vertical bar binary relation”.
Linux
⎈Ctrl+⇧Shift+UType 2af4, then Enter or Space.
HTML
⫴
CSS
\2AF4
LaTeX
\interleave with the stmaryrd package, or in unicode-math.
Windows
Type 2AF4, then AltX in Word.
Linux
CtrlShiftU, then 2af4, then Space.
Codes and encoding1 code points
HTML decimal
⫴
HTML hex
⫴
CSS content
content: "\2AF4";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%AB%B4
1
On screen
1
Code points
1
JS .length
3
UTF-8 bytes

A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.

Families this belongs to

1

Maths & numbers1,835 symbols