How to look up a symbol?
The instructor of a statistics and probability course uses an odd (to me) symbol for logical negation. The symbol is not a tide (~) or an exclamation mark (!) or the bar-over symbol. This symbol looks like the top right hand corner of a rectangle. What is this symbol called?