corner quote

noun

corner quote

noun
1

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

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.