Definition:Decimal Point/Also denoted as

From ProofWiki
Jump to navigation Jump to search

Decimal Point: Also denoted as

The usage of the decimal point varies between the various cultures.

The American system is to use a dot placed on the line:

$12.345$

The British system is to place the dot centrally:

$12 \cdotp 345$

The European system is to use a comma:

$12, \! 345$

Consequently the thousands separator for European numbers is either a dot:

$12.345, \! 678$

or a space:

$12 \, 345, \! 678$


In $\mathsf{Pr} \infty \mathsf{fWiki}$ the British and American systems can be found for the decimal point, while the European usage of the space is generally used for the thousands separator.


Sources