Mũi tên kép xuống trong LaTeX (\Downarrow)

Dùng ở đâu

Vẽ mũi tên thân kép hướng xuống, dùng cho phép đánh giá bước lớn trong ngữ nghĩa ngôn ngữ lập trình.

Ngữ nghĩa vận hành viết e \Downarrow v nghĩa là biểu thức e được đánh giá thành giá trị v theo kiểu bước lớn, đây là ứng dụng kỹ thuật chính của ký hiệu này. Trong sơ đồ và chứng minh logic, nó có thể đánh dấu một bước suy luận theo chiều dọc. Giống các mũi tên dọc khác, \Downarrow là dấu phân cách, nên \Big\Downarrow tạo phiên bản cao hơn. Đừng nhầm nó với \downarrow, trong cùng ngữ nghĩa đó có thể nghĩa là sự dừng. Hãy nêu quy ước khi giới thiệu phán đoán. Ngược lại, ngữ nghĩa bước nhỏ dùng \to hoặc \longrightarrow cho từng bước rút gọn, và \to^* cho bao đóng phản xạ bắc cầu của chú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}
\begin{document}
Down Arrow (Double): $\Downarrow$

\[ \frac{e_1 \Downarrow v_1 \quad e_2 \Downarrow v_2}{e_1 + e_2 \Downarrow v} \]
\end{document}

Ký hiệu liên quan

• Mũi tên hai chiều\leftrightarrow
• Mũi tên kép phải dài\Longrightarrow
• Mũi tên hai chiều dài\longleftrightarrow
• Mũi tên kép trái dài\Longleftarrow
• Mũi tên lên xuống\updownarrow
• Mũi tên kép lên\Uparrow

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

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

Gõ \Downarrow trong chế độ toán, ví dụ $\frac{e_1 \Downarrow v_1 \quad e_2 \Downarrow v_2}{e_1 + e_2 \Downarrow v}$. 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 \Downarrow?

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