A range of lines from M through N, written M--N, where M and N

are positive integers and M <= N. As shortcuts, one may write M, which

represents the range M--M; M--, which stands for the range from line M

through the last line of the current proof; and --N, which represents the

range from the first line of the proof through line N. Hence --

represents the range consisting of every line in the proof.

© 1988-99, Carnegie Mellon University.