Re: [help-texinfo] trying to make a unicode math char appear in all formats

[Karl Berry]

Hi Paul,

1) With the latest texinfo.tex (from ftp.gnu.org et al.), using the
literal 227A character should work with TeX.  Processing with pdftex is
not a problem; UTF-8 input is parsed and characters mapped to the
standard TeX commands/fonts.  (Unicode outside of Computer Modern does
not work, but that's not the problem here.)

2) As of the latest Texinfo release (6.0), there's also @U{227A} which
should behave identically, if you don't want binary in the source,
although I guess that's not an issue in your case.

3) It should not be a problem to make @math be a no-op inside @math.
That's surely desirable anyway.  Gavin or I can hack that into
texinfo.tex when we have a chance.

4) pinfo is still maintained by someone?  I thought it was abandoned a
decade or so ago.  (Just curious.)

Best,
Karl