help-texinfo
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

@point{} Gntting a Star in Texinfo.

From: Christopher Dimech
Subject: @point{} Gntting a Star in Texinfo.
Date: Fri, 16 Oct 2020 15:31:27 +0200
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*
reply via email to
[Prev in Thread] Current Thread [Next in Thread]