DIGIT
Definition:
DIGIT ::= [0-9]
Used In:
INTEGER