co1digit- What is a "digit"?

"Digit"

A simple little thing: I just wanted to be sure you use "digit" in the narrow sense I use it.

The whole universe of "digits" is…

0 1 2 3 4 5 6 7 8 9

In other worlds, digits are the "letters" from which what we would ordinarily call numbers are created.

Sadly, in KiCad, it is possible to "number" a pin or pad with things like "Vcc" It would have been so much better to call that property the thing's ID, or something. (The term "name" is already in use… for a different property of the pin or pad. Ah well.)

However, even so, if I say "You can use a digit….", then I mean "You can use 0 or 1 or 2 or…. 9", and nothing else!