File:MIRAnav.svg