added symbolic pow1 set