changeset 61971 | 720fa884656e |
parent 61970 | 6226261144d7 |
child 61973 | 0c7e865fa7cb |
--- a/NEWS Tue Dec 29 23:20:11 2015 +0100 +++ b/NEWS Tue Dec 29 23:40:04 2015 +0100 @@ -505,6 +505,7 @@ notation (in topological_space) LIMSEQ ("((_)/ ----> (_))" [60, 60] 60) notation NSLIMSEQ ("((_)/ ----NS> (_))" [60, 60] 60) + notation NSLIM ("((_)/ -- (_)/ --NS> (_))" [60, 0, 60] 60) * The alternative notation "\<Colon>" for type and sort constraints has been removed: in LaTeX document output it looks the same as "::".