\addvspace
----------
`\addvspace{length}'
The `\addvspace' command normally adds a vertical space of height
length. However, if vertical space has already been added to the same
point in the output by a previous `\addvspace' command, then this
command will not add more space than needed to make the natural length
of the total vertical space equal to `length'.