導出記号きごう

$\vdash$ を 導出記号 とよぶ。