两条横杠是等号,数学分析中有种三条横杠是什么符号?有什么意义?