\Pが一本分一次従属のとき（\P \~a' = \0）があるのを考えてなかった。
たぶんこのとき\~a'=\C[\P^T \P] \1と書けるけど、いや関係ないか…
あと、\undersetや\oversetを{↓(⊖ \l_i)\L}や{↑[m×m]\E}と書こうと思った。