@bhtooefr
lol I was struggling earlier to edit emojis into a html doc over SSH I'm not up for doing anything more complex than that lmao
@katex