On Fri, Oct 16, 2020 at 03:31:27PM +0200, Christopher Dimech wrote:
> <html><head></head><body><div style="font-family: Verdana;font-size:
> 12.0px;"><div>The manual says that</div>
>
> <div> </div>
>
> <div>The <code>@point{}</code> command is displayed as
> ‘<samp>∗</samp>’, either a pointed star or (when that is
> not available) the ASCII sequence ‘<samp>-!-</samp>’.</div>
>
> <div> </div>
>
> <div>I am getting ‘<samp>-!-</samp>’. How can I fix this so that
> I get ‘<samp>∗</samp>’ a pointed star?</div>
>
> <div> </div>
>
> <div>Regards</div>
>
> <div>C*</div></div></body></html>
>
If this is for the Info output I think you need to have
@documentencoding UTF-8
in the file.
