`[`4+8,$+`