'[' is an executable (/usr/bin/[), just to feed your curiosity :-), but I've never seen the double variant.
So, +1 to hear the reason to use this 'strange' construction.