Re: [eqn] Maps to symbol

"G. Branden Robinson" <[email protected]> Fri, 10 Apr 2026 07:52:01 -0500
Newsgroups gmane.comp.printing.groff.general
Message-ID <20260410125201.rr2xpf4jtvmvnfti@illithid>
At 2026-03-26T16:32:15+0900, Nguyễn Gia Phong wrote:
> At 2026-03-26T00:19:48-0500, G. Branden Robinson wrote:
> > At 2026-03-26T13:55:31+0900, Nguyễn Gia Phong wrote
> > > On the other hand, \[uNNNN] does not work for MathML output.
> > 
> > Wondering generally to the development and user community:
> > 
> > ...maybe it should?
> 
> I thought it would be safe to make it work,
> as the current behavior is just outputing an error:
> 
> <merror>unknown eqn/troff special char uNNNN</merror>

...but it works when the implementation supports the relevant XML
character entities, right?

So for `&#x21a6;`, those would be:

&map;
&RightTeeArrow;
&mapsto;

or

&ISOamsa;

Do I understand correctly?

At 2026-04-07T17:58:00+0900, Nguyễn Gia Phong wrote:
> Hi, I wonder if you've seen this patch.  Somehow <[email protected]>
> is not forwarding replies to me and I have not been able to access
> <https://lists.gnu.org> for a while now.

The GNU list archive site is under persistent DDoS attack by LLM intake
crawlers.

See, for example:

https://lists.gnu.org/archive/html/savannah-hackers-public/2026-04/msg00000.html

and follow-ups.

Regards,
Branden
signature.asc (application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEh3PWHWjjDgcrENwa0Z6cfXEmbc4FAmnY8mcACgkQ0Z6cfXEm
bc6rXxAAnRYjxAU0G2CDKTmxYZd/jK8lgTYd1lJOCE6hVAm/WqicM/uaSFgaojSK
hgxNRGB15mEmAUu/8osJtqOOCnOSI2Z0c32ft0yGuIZELb+FA8K3z2uF2ZIk+h4D
2DdNVt7vR3N6KpfHf5hITb6QBdhOnCq8ovw4xshOIrdBvv2q4537kNkyxcwfSVIn
09UNl1fectpg1Ej4I6teiUuvzKP2pUr7sUB7QX4oAk8wD3kdjRL5OEfdcQs5hgXY
RPqyggw5c+/cr5h9R/idWHpqmh+w+Eu9oRWWPOBvWdx+OTUyl95z5mzbNmyRbQSK
f5CI8iH6FGwqnvR0mBXM3sUHXvlViYlGVZvH624hqENKENqnHS8AV9m4ZNOEDhBj
cQmQBzCdXEy/FnogIpfH9CM9yEhOFblt3ZPdKiZzmrSzpg0RfT+/rr0QsEM217ju
kN8J1oSDJObc0sQrkqCfRFbBTOHQcR3z7hvQIZnrHk69jdTo8U0zL3dLIsBbuaBA
cF50vEoIbPlJ+l3yMm+14ZHHCrAM5J8UMd+kkFzNZRbnBnjOkJj3xDrqQh0Beeps
8H3ybThABrpab8GxNrcvQCpU7qDoPNeusEUk3OQkUIK3WkxbvjmWBwHaTmdda+p+
KZuyq4Hgws3fgTgWHvZtQ0s9i9q4ajB66IeIfYdicUbJlD6Vyaw=
=NNJv
-----END PGP SIGNATURE-----