tag-synonyms The synonym lmi $\to$ linear-matrix-inequality was proposed in May. math.stackexchange.com/tags/linear-matrix-inequality/synonyms There aren't many user who can vote for/against that synonym, i.e., with the score 5 or higher in the tag.