|
From: | Christopher Dimech |
Subject: | @point{} Gntting a Star in Texinfo. |
Date: | Fri, 16 Oct 2020 15:31:27 +0200 |
@point{}
command is displayed as ‘∗’, either a pointed star or (when that is not available) the ASCII sequence ‘-!-’.[Prev in Thread] | Current Thread | [Next in Thread] |