Symbol $DIGIT

Definition

		12337	11278	DIGIT	SYN	F$DIGIT

Uses

	67430	−3 00001 0 12337	9698		TXL	DIGIT,,1 GPLI0335