mysql json extract escape

SELECT JSON_EXTRACT('{"user.name": "Aztalan"}', '$."user.name"');