The surrounding explanation remains in ordinary language. A symbol makes the intended kind of contribution explicit. Early examples should include the full meaning of the symbol so that readers and models can interpret the proposal.