“notch” is another name for
Display cutout
.