两横加一个箭头是什么数学符号

问题描述:

两横加一个箭头是什么数学符号

这个符号叫推出,用于几何证明题