Mũi tên kép trái trong LaTeX (\Leftarrow)

Dùng ở đâu

Vẽ mũi tên thân kép ngắn hướng sang trái, đọc là “được kéo theo bởi” hoặc đánh dấu chiều đảo trong chứng minh.

Khi chứng minh một tương đương, tác giả đánh dấu hai chiều là (\Rightarrow) và (\Leftarrow), chiều sau chứng minh mệnh đề đảo. Giữa các công thức, A \Leftarrow B nghĩa là B kéo theo A. Với phiên bản dài có khoảng cách giữa các mệnh đề hoàn chỉnh, \impliedby cho \Longleftarrow kèm khoảng trắng bổ sung, đối xứng với \implies. Cẩn thận đừng để \Leftarrow bị nhầm với \leq khi đọc lướt, vì một số người đọc nhầm hình dạng. Sách logic thường sắp xếp lại để dùng mũi tên phải, nên hãy dành \Leftarrow cho chiều đảo.

Cũng có trong: Logic & Chứng minh

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{amsmath}
\begin{document}
Left Arrow (Double): $\Leftarrow$

\[ (\Leftarrow)\ \text{Suppose } n^2 \text{ is even. Then } n \text{ is even.} \]
\end{document}

Ký hiệu liên quan

• Mũi tên kép phải\Rightarrow
• Mũi tên xuống\downarrow
• Mũi tên kép lên\Uparrow
• Mũi tên phải dài\longrightarrow
• Mũi tên kép trái dài\Longleftarrow
• Mũi tên trái dài\longleftarrow

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

Làm thế nào để viết Mũi tên kép trái trong LaTeX?

Gõ \Leftarrow trong chế độ toán, ví dụ $(\Leftarrow)\ \text{Suppose } n^2 \text{ is even. Then } n \text{ is even.}$. 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 \Leftarrow?

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