3 ms·It's actually standard notation for the highest common factor.by coherentpony 13y agoIt's actually standard notation for the highest common factor.