Shortened code for "]"