我见到过的就是表示映射时用到过.
|→表示自变量到因变量的对应.
例如：f是从集合A到集合B的映射,并把A中的任意一个元素a变为f(a),那么,表达如下：
f: A→B（这里只有箭头）
a|→f(a)（这里有竖线）
之所以加上一条短竖线就是为了和上面的集合的关系区分开.