Hợp vuông lớn trong LaTeX (\bigsqcup)

Dùng ở đâu

Ký hiệu hợp dạng vuông cỡ lớn, biểu thị hợp rời của một họ tập hợp có chỉ số.

Viết X = \bigsqcup_{i \in I} X_i cho biết vừa là một hợp vừa là các mảnh đôi một rời nhau, một quy ước phổ biến trong tô pô, lý thuyết độ đo và lý thuyết phạm trù. Dạng hai ngôi là \sqcup, như trong A \sqcup B. \coprod là lựa chọn thay thế mà một số tác giả ưa dùng cho cùng cấu trúc phạm trù, còn riêng \bigcup không nói gì về tính rời nhau. Trong lý thuyết miền và ngữ nghĩa biểu thị, \bigsqcup lại biểu thị cận trên nhỏ nhất của một tập định hướng. Là một toán tử lớn, cận của nó xếp chồng trong chế độ hiển thị và nằm bên cạnh khi viết trong dòng.

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{amssymb}
\begin{document}
Big Square Union: $\bigsqcup$

\[ \mathbb{R} = \bigsqcup_{n \in \mathbb{Z}} [n, n+1) \]
\end{document}

Ký hiệu liên quan

• Tổng kép\sum_{i=1}^{m} \sum_{j=1}^{n}
• Dấu chấm trong vòng tròn cỡ lớn\bigodot
• Tổng theo tập chỉ số\sum_{k \in K}
• Tích tenxơ lớn\bigotimes
• Tổng trực tiếp lớn\bigoplus
• Tuyển lớn\bigvee

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

Làm thế nào để viết Hợp vuông lớn trong LaTeX?

Gõ \bigsqcup trong chế độ toán, ví dụ $\mathbb{R} = \bigsqcup_{n \in \mathbb{Z}} [n, n+1)$. Lệnh dùng được trong LaTeX chuẩn mà không cần nạp gói nào.

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

Không cần gói nào. \bigsqcup thuộc LaTeX chuẩn, nên chỉ cần lớp tài liệu trong phần mở đầu là biên dịch được.

Có thể dùng \bigsqcup 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 $\bigsqcup$. 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ự đó).