Adding withs and symbols generation