Ngoặc vuông kép trái trong LaTeX (\llbracket)

Dùng ở đâu

Ngoặc vuông kép (rỗng) bên trái, dùng cho ngoặc ngữ nghĩa, khoảng số nguyên và ký hiệu Iverson.

Trong ngữ nghĩa ngôn ngữ lập trình, \llbracket e \rrbracket ký hiệu nghĩa của một biểu thức, như trong ngữ nghĩa biểu thị. Các sách theo truyền thống Pháp và tổ hợp viết \llbracket 1, n \rrbracket cho khoảng số nguyên \{1, \dots, n\}, và một số tác giả dùng nó cho ngoặc Iverson. Lệnh này không có trong LaTeX lõi hay các phông ký hiệu AMS, nên cần một gói ký hiệu cung cấp nó; KaTeX hỗ trợ trực tiếp. Nó chỉ giãn được với các gói cung cấp phiên bản co giãn, nên với nội dung cao hãy kiểm tra cấu hình của bạn. Ghép nó với \rrbracket.

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 Bracket Left: $\llbracket$

\[ \llbracket 1, n \rrbracket = \{1, 2, \ldots, n\} \]
\end{document}

Ký hiệu liên quan

• Ngoặc vuông kép phải\rrbracket
• Chuẩn\| x \|
• Cặp ngoặc vuông kép\llbracket x \rrbracket
• Gạch đứng kép\|
• Ngoặc tròn co giãn\left( x \right)
• Hàm sàn\lfloor x \rfloor

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

Làm thế nào để viết Ngoặc vuông kép trái trong LaTeX?

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

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

\llbracket 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 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$. Nếu chỉ cần hình ký tự trong văn bản, hãy dán ký tự Unicode ⟦ (với XeLaTeX hoặc LuaLaTeX và một phông chữ có ký tự đó).