ax+by=c,x∈Z ,y∈Z成立的充要条件是${\gcd(a,b)|c}gcd(a,b)∣c$。

这里面符号“|”是什么意思啊？