We've got capital letters, why not capital numbers? That would let us write multiplication without a times symbol unambiguously