Connecting to HDMI TVs and recorders