Symbol: hdmi_write_and_or