>>685
ありがとうございます、しかし前述のとおり \rotatebox{90}{$\in$} が無視されてしまい、
きちんとした表示になりません。\rotatebox と衝突する環境でもつかってるのかな…

調べてみると dviware に依存するようなので、もしかしたら

\usepackage[dvipdfmx]{graphicx}

で使っている dvipdfmx が問題なのかな。（でもここは変えられない）。