t_wの輪郭
証明可能
ティー
ターンスタイル
論理記号
⊢
2024/4/2 15:16:00
あれ