limits notations

Stream: maths

[Patrick Massot]

@Johannes Hölzl What happened to the Lean2 notations for limits defined in https://github.com/leanprover/lean2/blob/master/library/theories/topology/limit.lean? Was there a decision not to use them?