Are letters DOT required on new tyres?

Hi I have had Michelin crossclimate tyres fitted which have a code 0723 with a few other codes preceding it. However there are no letters DOT anywhere on either tyre. A search tells me the letters DOT...