I had seen that before and always pronounced it in my head as "hey-dee".