PSL2ZIsomorphicTo
P160549
predicate
Indicates that the mathematical object in question is isomorphic, as an abstract group, to the modular group PSL(2,ℤ).