What is a character [] before a note, indicating a tone which is a half step or semitone lower called?

flat — (Mus.) A character [] before a note, indicating a tone which is a half step or semitone lower. (Webster's 1913.)

Sources