Ngoặc vuông kép phải trong LaTeX (\rrbracket)

Dùng ở đâu

Ngoặc vuông kép bên phải, đóng ký hiệu ngoặc ngữ nghĩa hoặc khoảng số nguyên.

Đóng \llbracket bằng \rrbracket để viết \llbracket P \rrbracket_\sigma, nghĩa của chương trình P ở trạng thái \sigma, hoặc đoạn số nguyên \llbracket a, b \rrbracket. Đừng giả lập bằng ]] hoặc ]\!], vì chúng cho hình dạng và khoảng cách khác với ký tự ngoặc rỗng. Các tác giả dùng nhiều ngoặc ngữ nghĩa thường định nghĩa một macro như \sem{e} để có thể đổi kiểu ngoặc ở một chỗ, chẳng hạn chuyển sang [\![ e ]\!] nếu không có phông ngoặc kép.

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 Right: $\rrbracket$

\[ \llbracket x + y \rrbracket = \llbracket x \rrbracket + \llbracket y \rrbracket \]
\end{document}

Ký hiệu liên quan

• Cặp ngoặc vuông kép\llbracket x \rrbracket
• Ngoặc vuông kép trái\llbracket
• Ngoặc tròn co giãn\left( x \right)
• Chuẩn\| x \|
• Ngoặc vuông co giãn\left[ x \right]
• Gạch đứng kép\|

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

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

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

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

\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 \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 $\rrbracket$. 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ự đó).