用于标注约束的命令