用一个大括号（一般都用右侧括号即“}”）由1+1=22+2=4 } =〉等等4+4=8=〉就是推出符号
其实就是把以前的因为所以符号省去，先列出所有的以前写在因为后的条件，然后写个推出，再写出最后的结论，OK了，就是为了省得你一步一步的推导，应该是更方便了。
