下向き二重矢印

多くは「上の式から下の式が導かれる」です。 二重線の⇓は「ならば」を表す⇒の縦向き版で、ノートや板書、スライドで式変形を縦に書き下ろすとき、条件→⇓→結論のように使われがちです。ただし公式に決まった唯一の意味はなく、式や凡例、ラベルが意味を決めます。

フローチャートや図では、下へ進む流れや段階を示します。プログラミング言語の理論では、e ⇓ vで「式eが値vに評価される」と書く記法がよく使われます。

式の外、たとえば投稿やメール、スライドでは、⇓は「下を見て」「スクロールして」「リンクはこちら」程度の目印にすぎません。↓より強い意味はありません。

⇓の入力方法は？

専用キーはありません。コードか記号一覧を使います。 LaTeXでは数式モードで\Downarrow、HTMLでは⇓。Microsoft Wordでは21D3と打ってAlt+X。日本語IMEでは「やじるし」の変換候補に出ないことが多いので、Macなら文字ビューアで「矢印」を探し、GNOMEなどのLinuxデスクトップならCtrl+Shift+Uのあと21d3とEnter。スマホのキーボードにはまず期待できません。