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