corner quote

名詞

複数形

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

日本語の意味

（主に複数形で使用される）形式的論理学において、文を囲むために使われる記号「⌜」または「⌝」を指す。

In formal proofs, the corner quote is used to enclose formulas such as ⌜P → Q⌝.

形式的な証明では、角引用符（⌜ と ⌝）を用いて ⌜P → Q⌝ のような式を囲みます。

意味（1）

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

corner quotes

（ plural ）