How will Mario know which words are misspelled in his document?

The word would have a red font.
The word would be bold and red.
The word would have a red highlight.
The word would have a red underline.