@dots
{}
Use the @dots{}
command to generate an ellipsis, which is
three dots in a row, appropriately spaced, like this: `...'. Do
not simply write three periods in the input file; that would work for
the Info file output, but would produce the wrong amount of space
between the periods in the printed manual.
Similarly, the @enddots{}
command helps you correctly set an
end-of-sentence ellipsis (four dots).
Here is an ellipsis: ...
Here are three periods in a row: ...
In printed output, the three periods in a row are closer together than the dots in the ellipsis.