Shortcut for double brackets? [[]]

As per title