inferior rectus muscle Synonyms