I think in general we prefer `[[...]]` to `[...]` since the former is more sane in various reasons.