inferior rectus muscle of eye Synonyms