Dấu hai chấm “sao cho” trong LaTeX (:)

Dùng ở đâu

Dấu hai chấm đọc là “sao cho” trong các mệnh đề có lượng từ và trong cách viết tập hợp theo tính chất, tách biến khỏi điều kiện của nó.

Trong chế độ toán, dấu hai chấm thường được xem là quan hệ và nhận khoảng trắng dày bằng nhau ở hai bên, phù hợp với \{x : x > 0\} và \forall x : P(x). Với khai báo hàm, hãy dùng \colon, vì nó có khoảng cách của dấu câu: f\colon A \to B trông đúng, còn f : A \to B để lại khoảng hở trước dấu hai chấm. Với định nghĩa, := ghép từ hai ký tự có thể lệch theo chiều dọc; một ký hiệu định nghĩa riêng từ gói mở rộng sẽ khắc phục điều đó. Một số tác giả thích \mid hoặc gạch đứng trong cách viết tập hợp; hãy chọn một cách và dùng nhất quán.

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}
Such That (Colon): $:$

\[ \{ n \in \mathbb{Z} : n^2 < 10 \} \]
\end{document}

Ký hiệu liên quan

• Ký hiệu tập hợp theo tính chất\{ x \mid P(x) \}
• Dấu gạch đứng điều kiện\mid
• Mệnh đề có lượng từ lồng nhau\forall x \exists y : P(x, y)
• Lượng từ tồn tại trên tập hợp\exists x \in A
• Lượng từ với mọi trên tập hợp\forall x \in A
• Lượng từ tồn tại x\exists x

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

Làm thế nào để viết Dấu hai chấm “sao cho” trong LaTeX?

Gõ : trong chế độ toán, ví dụ $\{ n \in \mathbb{Z} : n^2 < 10 \}$. 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 :?

Không cần gói nào. : 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 : trong chế độ văn bản không, hay chỉ trong chế độ toán?

Cả hai. : biên dịch được trong văn bản lẫn bên trong $...$; trong công thức hãy để nó ở chế độ toán để dùng phông chữ và khoảng cách toán học.