Add unicode notation for the top and bottom of bounded lattices.