What Is A Sharpening Choil #Shorts

Ever wonder what those weird notches in knives are? They are called sharpening choils, and this is what they are for!