Added 2024-07-21 20:02:55 +0000 UTC
Red Latex suits me well.
