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