Show HN: Pixeltex – a fun little LaTeX and emoji pixel typesetter (gurki.github.io)

A real-time LaTeX typesetter that outputs downloadable pixel art! The custom MINIGENT font consists of an extensive set of letters and symbols, including the whole greek alphabet, most used math and logic symbols, and even emojis!