高等数学里用三个横的等号是什么意思啊?