Post #2864198

@niallor@mastodon.ie Indeed ... it's a notation, and has been used in several ways. Another is to indicate the repeating portion of a decimal expansion.