test

mimetexでは半直積や正規部分群の記号が出ない。@wiki+divpngは列を分ける&が効かない。Wikipediadivpngが良さげ。

\congが上に寄りすぎているので同型は\simeqが良い。表現の和で使う「□×」の記号が見つからない。