道蔵に収める)によると、世宗は陳摶に白雲先生の号を与えた。