In formal proofs, the corner quote is used to enclose formulas such as ⌜P → Q⌝.
形式的な証明では、角引用符（⌜ と ⌝）を用いて ⌜P → Q⌝ のような式を囲みます。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
