Unique SVG Naming, Auto-Generated Text Adjustments, and White Space Handling

[mbutler]

1. Unique Naming for SVG Files

It would be helpful to automatically generate unique names for each SVG file to prevent overwriting previous downloads. A format like:
uiowa-lib-pmifier-DATE-TIME.svg
would work well.

2. Auto-Generated Text Adjustments

• The default text is good PM notation.
• The button that currently auto-generates *117.06 should be changed to a different value.
• *117.06 is just a definition, while the actual generated content is the definition of the < symbol as defined in the Principia TeX package.
• Suggested replacements:
  • *110.63 (Theorem: 1 +c 1 = 2)
  • *12.1

3. White Space Around Generated SVGs

• The following input produces a good SVG result:

  \pmporderm{\phi}{1}x \pmand \pmporderm{\phi}{1}a \pmdot \, & \pmiff \pmdott \pmsome{y} \pmdot \pmpred{\phi}{(x,y)} \pmandd \pmsome{z} \pmdot \pmpred{\phi}{(a,z)} \pmdott

• However, the right margin appears too close to the symbol.

• How is white space around the formula determined? Specifically:

  • How is the size of the cut from the formula set?
  • Can minimal white space be left around the formula?
  • Is there room to insert the smallest unit of TeX space?
    • Example: Placing "\," before and after the formula could add a fraction of an uppercase “M” width.
    • Reference: [LaTeX Math Mode Spacing](https://www.overleaf.com/learn/latex/Spacing_in_math_mode)

4. Text Overflow in Generated Images

• Longer text (example: case (3)) appears to extend beyond the border of the generated image.
• This might be a browser rendering issue, but we should investigate:
  • Is the issue an artifact of how the image is displayed in different browsers?
  • Are there adjustments we can make to avoid or mitigate the issue on the PMifier webpage?

5. Further Testing

• More testing will be done to confirm behavior.
• The tool appears to be functioning correctly at its core, pending further validation.