corner quote

Noun

 * 1)  Either of the symbols ⌜ and ⌝, sometimes used to enclose statements in formal logic.