Here's the typeface https://typeof.net/Iosevka/ https://typeof.net/Iosevka/ What struck me was the [ t a b ] stuff as well as the Latex reference, which looks

Here's the typeface https://typeof.net/Iosevka/ https://typeof.net/Iosevka/ What struck me was the [ t a b ] stuff as well as the Latex reference, which looks to be embedded img in src, so there must be some sort of preprocessor?