Lượng từ phổ quát (với mọi) trong LaTeX (\forall)

Dùng ở đâu

Cho lượng từ với mọi ∀, đọc là “với mọi” hoặc “với mỗi”.

\forall mở đầu các mệnh đề có lượng từ phổ quát, như trong định nghĩa epsilon-delta \forall \varepsilon > 0\ \exists \delta > 0. TeX coi nó là ký hiệu thường, nên không có khoảng trắng tự động sau biến bị ràng buộc; hãy thêm \, hoặc \ hay một dấu phân cách như dấu hai chấm hoặc dấu chấm tùy quy ước của bạn. Trong các chứng minh nhiều văn xuôi, nhiều hướng dẫn trình bày khuyên viết “với mọi” bằng chữ thay vì \forall. Trong phép tính lambda có kiểu và lý thuyết kiểu, nó còn dùng để đưa vào kiểu đa hình, ví dụ \forall \alpha.\, \alpha \to \alpha.

Cũng có trong: Logic & Chứng minh, Lượng từ

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}
\begin{document}
For All: $\forall$

\[ \forall \varepsilon > 0\ \exists \delta > 0 : |x - a| < \delta \]
\end{document}

Ký hiệu liên quan

• Lượng từ tồn tại\exists
• Phép tương đương (khi và chỉ khi)\iff
• Ký hiệu thuộc (phần tử của)\in
• Phép kéo theo\implies
• Ký hiệu không thuộc\notin
• Dấu lớn hơn hoặc bằng\geq

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

Làm thế nào để viết Lượng từ phổ quát (với mọi) trong LaTeX?

Gõ \forall trong chế độ toán, ví dụ $\forall \varepsilon > 0\ \exists \delta > 0 : |x - a| < \delta$. 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 \forall?

Không cần gói nào. \forall 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 \forall 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 $\forall$. 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ự đó).