Symbols:Greatest Common Divisor/Deprecated