Cặp ngoặc vuông kép trong LaTeX (\llbracket x \rrbracket)

Dùng ở đâu

Bao một biểu thức trong cặp ngoặc vuông kép, dùng cho ngữ nghĩa biểu thị hoặc khoảng số nguyên.

Cặp ngoặc này biểu diễn hàm ngữ nghĩa trong ngữ nghĩa hình thức, \llbracket x \rrbracket_\rho cho giá trị của x trong môi trường \rho, và đoạn rời rạc \llbracket m, n \rrbracket trong tổ hợp. Nó cũng xuất hiện trong ngoặc Iverson và trong ký hiệu bước nhảy cho các điểm gián đoạn trong giải số phương trình đạo hàm riêng, \llbracket u \rrbracket = u^+ - u^-. Vì ký tự này không có trong phông mặc định, mã nguồn cần một gói ký hiệu; hãy xem ghi chú về gói trên trang này. Các nét rỗng giúp nó dễ phân biệt với các ngoặc thường lồng nhau.

Ví dụ tối giản biên dịch được

Dán đoạn này vào một tệp .tex trống rồi biên dịch bằng pdfLaTeX, XeLaTeX hoặc LuaLaTeX.

\documentclass{article}
\usepackage{stmaryrd}
\begin{document}
Double Brackets: $\llbracket x \rrbracket$

\[ \llbracket u \rrbracket = u^{+} - u^{-} \]
\end{document}

Ký hiệu liên quan

• Ngoặc tròn co giãn\left( x \right)
• Ngoặc vuông kép phải\rrbracket
• Ngoặc vuông co giãn\left[ x \right]
• Ngoặc vuông kép trái\llbracket
• Ngoặc nhọn co giãn\left\{ x \right\}
• Chuẩn\| x \|

Câu hỏi thường gặp

Làm thế nào để viết Cặp ngoặc vuông kép trong LaTeX?

Gõ \llbracket x \rrbracket trong chế độ toán, ví dụ $\llbracket u \rrbracket = u^{+} - u^{-}$. Trước hết hãy nạp stmaryrd bằng \usepackage{stmaryrd}.

Cần gói nào để dùng \llbracket x \rrbracket?

\llbracket x \rrbracket cần stmaryrd: thêm \usepackage{stmaryrd} vào phần mở đầu, trước khi tài liệu bắt đầu.

Có thể dùng \llbracket x \rrbracket trong chế độ văn bản không, hay chỉ trong chế độ toán?

Chỉ trong chế độ toán. Bên ngoài $...$ LaTeX sẽ dừng với lỗi "Missing $ inserted", vì vậy trong văn bản hãy viết $\llbracket x \rrbracket$.