Re: [Metamath] Putting typesetting "extra spaces" rules in .mm database.

['David A. Wheeler' via Metamath]

> On May 23, 2024, at 10:38 PM, Marshall Stoner <mbstone...@gmail.com> 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 metamath+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/metamath/8CCD6004-1CA9-4C9D-8F37-B3EE0B28F857%40dwheeler.com.