Fixing symbolset