Hello there!

The attached patch improves how the Texinfo exporter checks if Texinfo
supports `@math'.  Please review and merge.

Rudy