HDMI to Mini-HDMI Adapter

I don't recall that question being asked before, but I don't see why it wouldn't. What do you have that uses mini-HDMI? I've seen mini-HDMI outputs, but off the top of my head, I don't recall seeing one being used as an input.