corner quote

noun[in the plural]1

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