「有王霸大略」出自唐代·陆蟾的 《春暮经石头城》。
六朝多少事，搘肘思悠悠。
落日空江上，子规啼渡头。
蒹葭侵[坏]（废）垒，烟雾接沧洲。
今古分明在，那堪向九秋。
（以上《诗话总龟》十五引《雅言杂载》）（〖1〗北宋释契嵩《镡津文集》卷十三有《陆蟾传》，云蟾为藤州镡津人，有王霸大略，以能诗名于楚越间，后客死于攸县司空山。
又引高阆语称为国初人。
〖2〗《陆蟾传》所引，题作《瀑布咏》，「正源」作「灵源」，「浴」作「凝」，「射」作）（「溅」，「流」作「待」，「翻」作「为」。
）。