几何题证明时有两种表达方式,一种用因为所以,一种是用大括号和双杆箭头。请问怎么称呼这两种方式?