Hello, $\longrightarrow$ with the default font (cmr) is a bit strange under magnification (tail is not aligned with the arrow properly). Whose fault is that? The problem with font, modified macros or something else? Thanks, Mojca