@FILTER[chars,string] : Entfernt alle Zeichen in "string", die nicht in "chars" enthalten sind.

 

Beispiel:

 

Um alle nicht-numerischen Zeichen aus einer Variablen zu entfernen:

 

set var=abc1234

echo %@filter[0123456789,%var]

1234