What is the cable to hook an android phone or tablet to HDMI called?

I thought it was HDMI to micro HDMI but it is slightly too big.
2 answers 2