"maps to"

[This is not exclusively category theory, I know, but I think the categories list members are the sort of people who might know the answer.] Does anyone know the origins of "|->" as symbol for "maps to", e.g. defining a function by x |-> 3x + 5 ? Steve Vickers.