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

 

Beispiel:

 

So entfernen Sie alle nicht numerischen Zeichen aus einer Variablen:

 

setze var=abc1234

Echo %@filter[0123456789,%var]

1234