The manual says that
The
@point{}
command is displayed as ‘∗’, either a pointed star or (when that is not available) the ASCII sequence ‘-!-’.I am getting ‘-!-’. How can I fix this so that I get ‘∗’ a pointed star?
Regards
C*