Original: After his death, the King bestowed on Jeong the posthumous name Mundo (ë ë \/O/ æ - å).
Simplified: After his death, the King gave Jeong the special name Mundo (ë ë \/O/ æ - å).