Elements of Programming

Index

→ (function), 231

− (additive inverse), in additive group, 67

∧ (and), 231

− (difference)

in additive group, 67

in cancellable monoid, 72

of integers, 18

of iterator and integer, 111

of iterators, 93

× (direct product), 231

∈ (element), 231

= (equality), 7

for array_k, 212

for pair, 210

(equals by definition), 12, 231

⇔ (equivalent), 231 3

∃ (exists), 231

∀ (for all), 231

> (greater), 62

≥ (greater or equal), 62

⇒ (implies), 231

[ ] (index)

for array_k, 211

for bounded_range, 214

≠ (inequality), 7, 62

∩ (intersection), 231

< (less), 62

for array_k, 212

natural total ordering, 61

for pair, 210

≤ (less or equal), 62

→ (maps to), 231

H (not), ...