import re

patt=r’(13[4-9]\d{8,})KaTeX parse error: Undefined control sequence: \d at position 12: |(15[01289]\̲d̲{8,})’
mobile=str(input(‘请输入手机号码:’))

match=re.match(patt,mobile)
if match==None:
print(mobile,“不是有效的中国移动手机号码。”)
else:
print(mobile,“是有效的中国移动手机号码。”)