The syntax of Pedro variables fall into two categories.
Examples:
X
,X_23
,_fred_12
Note that repeated occurrences of a variable token of the first category in a string representing a Pedro term represent the same variable. This is not the case for anonymous variables: each occurrence represents a different variable.