LaTexの関係演算子$\leq$のdvioutでの出力について