@FILTER[chars,string] : Removes any characters in "string" that aren't in "chars".

 

Example:

 

To remove all non-numeric characters from a variable:

 

set var=abc1234

echo %@filter[0123456789,%var]

1234