@FILTER[chars,string] : Supprime tous les caractères de "string" qui ne sont pas dans "chars".

 

Exemple :

 

Pour supprimer tous les caractères non numériques d'une variable :

 

set var=abc1234

echo %@filter[0123456789,%var]

1234