Merge pull request math-comp#1298 from Tragicus/min

add notations for bigmins and bigmaxes

Author: proux01

CHANGELOG_UNRELEASED.md

@@ -10,6 +10,12 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 ### Added
 
+- in `order.v`
+  + notations `\min_<range> e`, `\max_<range> e`, `\min^d_<range> e`,
+    `\max^d_<range> e`, `\min^p_<range> e`, `\max^p_<range> e`,
+    `\min^sp_<range> e`, `\max^sp_<range> e`, `\meet^l_<range> e`,
+    `\join^l_<range> e`, `\min^l_<range> e`, `\max^l_<range> e`
+
 ### Changed
 
 ### Renamed