Some people call the double square brackets SCOTT BRACKETS. Could it be that Dana Scott first used them in 1967, in his notes on Boolean-valued models of set theory? Dusko Pavlovic +++++++++++++++++++++++++++++++++++++++++++++++++++++