new syntax file
functions to repr sets