The symbol O^ε(n,q) for orthogonal groups has been well established in finite group theory as and, throughout the mathematics community, O(n, K) stands for an orthogonal group when K is the real or complex field.