Προέλευση/πηγή TeX:

U\cong V \iff \dim U = \dim V