正史では司馬懿の諱を避けて〝呉壱〟と記される.
〝呉壱〟