See https://www.topoi.net/number-and-symbol.html