No, they are not. The symbols in the equation are simply numbers, and "9 ≥ a ≥ b ≥ c ≥ d ≥ 0" constrains them to 0-9.
You are mistaking the map for the territory, sort of. The positional aspects of the number system get encoded the equations and then the mere "numbers" don't matter anymore.