JA
EN
数学のたな
0
0
非所属の記法 | 数学のたな
一階論理
TeX
非所属の記法
定義本文
日
式
¬
(
v
1
∈
v
2
)
\neg\,(v_1\in v_2)
¬
(
v
1
∈
v
2
)
を
v
1
∉
v
2
v_1\notin v_2
v
1
∈
/
v
2
と書く。