There is no distinct user-agent for HiDPI Macs. Indeed, some Apple computers can be switched into HiDPI modes by the user. (For instance, my 15" laptop can run in a 720x450@2x mode.)