《洞灵真经》即《庚桑子》，或称《亢仓子》《亢桑子》。唐玄宗于天宝元年（742）诏封庚桑子为洞灵真人，尊《庚桑子》一书为《洞灵真经》，书中文字多古文奇字，如果不看音义则难窥其义。道教奉为“四子”真经之一。