On Thu, Jan 01, 2026 at 09:27:23PM +0000, Gavin Smith wrote:
> Currently @print{} is output in HTML as "-|", even though the
> left-pointing turnstile symbol (⊣, U+22A3 LEFT TACK) is available.
>
> See https://www.gnu.org/software/emacs/manual/html_node/elisp/Sequencing.html
> for an example.
>
> Is there a reason for this, and what would be the best way to use this
> symbol in the output?
I do not recall the reason, probably an oversight on my side.
More generally, there is a comment saying "Also discussed on the texinfo
list" for the unicode codepoints used, but I couldn't find the
discussion.
> I see that the source file tta/data/commands_values.txt has an entry for
> "print" with this Unicode codepoint under "extra_unicode_map", but evidently
> it is not used for HTML output.
>
> It would be possible to change the "xml_text_entity_no_arg_commands"
> definitions:
>
> diff --git a/tta/data/commands_values.txt b/tta/data/commands_values.txt
> index c706c88243..5bdc9e837b 100644
> --- a/tta/data/commands_values.txt
> +++ b/tta/data/commands_values.txt
> @@ -307,7 +307,7 @@ ordf ª
> ordm º
> point ∗
> pounds £
> -# print -|
> +print ⊣
> questiondown ¿
> registeredsymbol ®
> result ⇒
>
>
> (8867 is the decimal for 0x22a3, although ⊣ could just as well be used,
> I expect (only the decimal entities were supported in ancient versions of
> HTML). There are also ⊣ and ⊣ (which are equivalent) in HTML
> 5, but not in HTML 4.)
Indeed, using this numeric entity seems like an improvement to me.
> Although most of the entities in this section are numeric, some are symbolic:
> @L{} and @l{} are defined as Ł and ł respectively. So I assume it
> would be ok to make the change above.
Most are symbolic, some are numeric...
--
Pat
