The singleton maps notation is now also more consistent with the insert <[_ := _]> _ notation for maps.
Attach a file by drag & drop or click to upload