1、数学里有两种。
2、一种是表示平均数。
3、一种是表示数。
4、在经济学中，字母上面没有一杠仅仅表示一个变量，
而这个变量可以取任何数值，如果字母上有一杠，表示一个特定值。
5、第一种适合手写，在电脑上一般用后两种——第一种没法输入。
不过它们最大的区别还不在此，而在所使用的领域。
因为形式逻辑在其他领域都有相关的理论，比如集合论、逻辑代数、数理逻辑等。
它们各自发展，都有一套属于自己的符号。但因为这些理论本质相通，
所以它们的符号功能都是对应的。比如：集合中的“并集”符号——“∪”、
数理逻辑中的“