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 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.) 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.
