changeset 61976 | 3a27957ac658 |
parent 61973 | 0c7e865fa7cb |
child 61982 | 3af5a06577c7 |
--- a/NEWS Wed Dec 30 11:37:29 2015 +0100 +++ b/NEWS Wed Dec 30 14:05:51 2015 +0100 @@ -504,6 +504,7 @@ notation (in topological_space) tendsto (infixr "--->" 55) notation (in topological_space) LIMSEQ ("((_)/ ----> (_))" [60, 60] 60) + notation LIM ("((_)/ -- (_)/ --> (_))" [60, 0, 60] 60) notation NSLIMSEQ ("((_)/ ----NS> (_))" [60, 60] 60) notation NSLIM ("((_)/ -- (_)/ --NS> (_))" [60, 0, 60] 60)