Arrow Notation

定义 Definition

“Arrow notation” 指“箭头记号/箭头表示法”，用箭头符号（如 →, ⇒, <-, **->**）来表示关系、方向或映射。最常见用法包括：

1. 数学/逻辑：表示“推出/蕴含”（⇒）、“映射到/趋向”（→）。
2. 计算机：表示“指向/访问”（如 C/C++ 的 -> 指针成员访问）、或数据流/转换关系。

发音 Pronunciation (IPA)

/ˈæroʊ noʊˈteɪʃən/

例句 Examples

The arrow notation shows that the function maps \(x\) to \(x^2\).
箭头记号表示这个函数把 \(x\) 映射到 \(x^2\)。

In formal logic, arrow notation like \(P \Rightarrow Q\) is used to express implication, which helps make proofs precise and readable.
在形式逻辑中，像 \(P \Rightarrow Q\) 这样的箭头记号用来表达“蕴含”，能让证明更严谨、更易读。

词源 Etymology

arrow 原意是“箭”，引申为“指向某处的符号”；notation 来自拉丁语 notare（“标记、记录”）。合起来就是“用箭头来做标记/表达关系的记号体系”。在数学与计算机领域，箭头因其“方向性、指向性”而被广泛采用。

相关词 Related Words

• Arrow
• Notation
• Symbol
• Implication
• Mapping
• Function
• Operator
• Pointer
• Lambda

文学与经典作品 Literary Works

• Categories for the Working Mathematician（Saunders Mac Lane）：范畴论中大量使用“箭头”来表示态射与映射关系。
• Concrete Mathematics（Graham, Knuth, Patashnik）：在离散数学与推导表达中常见各类符号记号（含箭头用法）。
• *Introduction to Algorithms (CLRS)*：算法与伪代码中常出现表示赋值、指向或流程关系的箭头式写法（不同版本/语境记号略有差异）。
• The C Programming Language（Kernighan & Ritchie）：涉及 C 语言 -> 运算符（常被口头称为 “arrow”），与“箭头记号”的编程语境相关。