Assertion: character | /r/HasProperty | ignored
Facets:
Source sentences:
text: The purpose of this key was to erase mistakes in a hand-typed paper tape: the operator had to push a button on the tape punch to back it up, then type the rubout, which punched all holes and replaced the mistake with a character that was intended to be ignored.
text: In the satirical language called Whitespace, whitespace characters are the only valid characters for programming, while any other characters are ignored.