『世本』は「湣公」とし、『漢書』人表は「愍公」とし、律暦志は「緡公」とする。