μはSymbolで入れろという話があったが、複数人の手を渡っているうちにフォントが勝手に
変えられてしまってmになってしまうと、喜劇。
μmがmmになってしまうんだなぁ。うちの職場はumと書くことになっている。