見《酉陽雜俎》。為刀豆之別名。詳該條。