Duda sobre formato salida hdmi receptores.

Tengo una duda sobre la salida hdmi de los receptores av en general. ¿En que formato sacan el audio por su salida hdmi? ¿lo convierten a pcm 2.0 para la tv, dan otras opciones o tal y como les llega? mi viejo receptor no tiene hdmi de ahí viene mi duda.

Veréis, actualmente tengo un DSS2+cascos conectados por óptico a la tele, son compatibles con Dolby y si les llegase audio en ese sistema o tuviera la posibilidad de hacer una conversión sería perfecto.

Edito: Venga, que no se diga, ¿más de 100 vistas y nadie me puede resolver la duda? :D