- Click left button of the mouse on a letter under pushing CTRL+SHIFT, then the
Character Information
of the letter is shown.
-
Font Information
of the dvi file is displayed by Help
-> Font Info.