Тут идея главное, а не оператор :)

ну будет ^var[00001;+;0],
какая разница? :)

Только мне интересно, как ^counter возвращает 000000111??