There is a more sophisticated typesetting behind pages like these:
https://metamath.tirix.org/mpests/logfacrlim2
It allows nested constructs in the representation and "actual" math output.
It's not perfect either, though.
On 25/05/2024 00:18, Marshall Stoner wrote:
That was just the simplest thing I could think of. The drawback is
the current function doesn't ever look ahead, only behind. A more
sophisticated generalized typesetting language for utf8 math would be
even better, but I'm not sure where to start.
On Friday, May 24, 2024 at 12:07:17 PM UTC-4 David A. Wheeler wrote:
> On May 23, 2024, at 10:38 PM, Marshall Stoner
<[email protected]> wrote:
>
> My github repository is https://github.com/mbstoner53 .
>
> I had to make my own branch of metamath.exe and edit the function
> called getTextLongMath in the file mmwtex.c to get the spacing
to look right for an extra symbol I defined in my own database. I
notice even the comment in the file itself calls it a "kludge".
>
> I think if more and more symbols are added to the set.mm
<http://set.mm> all of the extra spacing rules to make html look
prettier should be stored in the database itself somehow rather
than in the source file mmwtex.c. I don't know if anyone thinks
this would be worth it. I have an idea on how to do it, but I'm
not familiar enough with how the source code works to do it all
alone.
>
> Anyways my idea would be to place a list of regex expressions
like...
I don't know if that's the *best* way, but a general mechanism for
improving formatting
that's part of the database does sound like a good idea.
--- David A. Wheeler
--
You received this message because you are subscribed to the Google
Groups "Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/80a66969-a684-45a7-a99c-b81378fae204n%40googlegroups.com
<https://groups.google.com/d/msgid/metamath/80a66969-a684-45a7-a99c-b81378fae204n%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/bda7d511-32a2-497e-b005-8b0e09252d38%40gmx.net.
