在数学用语中,a丨b有什么含义