挟剑豆

    见《酉阳杂俎》。为刀豆之别名。详该条。