- 追加された行はこの色です。
- 削除された行はこの色です。
$$ \clr[md]{\:B} $$
$$ \clr[md]{\:B} $$ $$ \clr[md]{\:C} $$ $$ \clr[ao]{\:A} $$
$$ \clr[md]{\:C} $$
$$ \clr[mz]{\:B \vx \:C} $$
$$ \clr[ak]{\:A \vx (\:B \vx \:C)} $$
$$ \clr[ao]{\:A} $$
$$ \clr[ao]{\:A_{\perp}} $$ $$ \clr[md]{\:C_{\perp}} $$
$$ \clr[ak]{\:A_{\perp} \vx (\:B \vx \:C_{\perp})} $$
$$ \clr[mz]{\:B \vx \:C} $$
$$ \clr[pk]{(\:A_{\perp} \!\!\sx\! \:C_{\perp}) \:B} $$
$$ \clr[pk]{(\:A_{\perp} \!\!\sx\! \:B) \:C_{\perp}} $$
$$ \clr[mz]{\:A_{/\!/}} $$
$$ \clr[ak]{\:A \vx (\:B \vx \:C)} $$