一个式子 然后一个竖线 右下角另一个式子是什么意思