here π is a homotopy group, gl("r") is the direct limit of the general linear groups over "r" for the size of the matrix tending to infinity, "b" is the classifying space construction of homotopy theory, and the is quillen's plus construction.