`[0-9]` can be abbreviated as `\d`