Added 2023-12-06 03:38:04 +0000 UTC
some latex bits
