# Contents

## Idea

A sum is a result of an operation called addition and denoted $+$ (binary), $0$ (nullary), or $\sum$ (arbitrary).

Revised on November 3, 2012 07:07:24 by Mike Shulman (192.16.204.218)