(abc[def])