Математична права біла квадратна дужка

Вона закриває парний математичний або семантичний роздільник.

У Z-нотації ⟦...⟧ обрамляє запис мультимножини. У формальній семантиці ця пара може позначати денотацію виразу — значення або тлумачення, яке йому приписують. Поза відповідною нотацією ця форма дужок не має одного сталого значення.

На відміну від широкої правої дужки 〛 зі східноазійської пунктуації, ⟧ — вузька математична форма; у технічному тексті вони не взаємозамінні.

Навіщо в семантиці використовують ⟦ ⟧?

Ця пара може позначати значення, яке виражає певний вираз.

Традиція подвійних дужок розвинулася в працях про істиннісні значення й тлумачення. У середині 1960-х Дана Скотт описав перехід від рископодібних позначок до читабельніших подвійних дужок, коли формули ставали довшими. Наприкінці 1960-х ця нотація увійшла до семантики мов програмування, а згодом — до семантики природної мови.

Ця історія пояснює фахове вживання: ⟦expression⟧ вказує, що вираз треба тлумачити в межах певної теорії; саме вона задає точні правила.