eq の変更点 |
$$ \clr[md]{\:B} $$ $$ \clr[md]{\:C} $$ $$ \clr[ao]{\:A} $$ $$ \clr[mz]{\:B \vx \:C} $$ $$ \clr[ak]{\:A \vx (\:B \vx \:C)} $$ $$ \clr[ao]{\:A_{\perp}} $$ $$ \clr[md]{\:C_{\perp}} $$ $$ \clr[ak]{\:A_{\perp} \vx (\:B \vx \:C_{\perp})} $$ $$ \clr[pk]{(\:A_{\perp} \!\sx\! \:C_{\perp}) \:B} $$ $$ \clr[pk]{(\:A_{\perp} \!\sx\! \:B) \:C_{\perp}} $$ $$ \clr[pk]{(\:A_{\perp} \!\!\sx\! \:C_{\perp}) \:B} $$ $$ \clr[pk]{(\:A_{\perp} \!\!\sx\! \:B) \:C_{\perp}} $$ |