**Describe the bug** There is unrendered $LaTeX$ in https://certcc.github.io/Vultron/reference/formal_protocol/transitions/ **To Reproduce** Open page and look. **Expected behavior** $LaTeX$ should always render. **Screenshots** <img width="400" alt="Image" src="https://github.com/user-attachments/assets/d5c98cec-b847-48f5-a0d2-037cbbd8d842" /> <img width="400" alt="Image" src="https://github.com/user-attachments/assets/f1207c46-2fc7-4a2f-8e36-4c6c99233e94" /> <img width="400" alt="Image" src="https://github.com/user-attachments/assets/ac5238fc-929c-4587-986c-1e632fe8659e" /> <img width="400" alt="Image" src="https://github.com/user-attachments/assets/406ad7e6-382b-46d5-9d24-97de8e2c207c" />
Describe the bug
There is unrendered$LaTeX$ in https://certcc.github.io/Vultron/reference/formal_protocol/transitions/
To Reproduce
Open page and look.
Expected behavior
Screenshots