Assistive listening devices in many theaters and similar spaces use arrays of infrared LEDs to send sound to listeners' receivers. How are LEDs used in theaters