dot

<character> decimal point.

See also dot file, dot notation.

(14 Mar 1995)