more symbolic set special functions implemented