Other notational systems use angled backets around the internal arguments to identify the external.

• 另外的一些符号系统使用方括号把域内论元包括在内，以使他和域外论元鉴别出来。