jbowen, 1 month ago @haeckerfelix Gnome detexify? https://detexify.kirelabs.org/classify.html #tex #latex
@haeckerfelix Gnome detexify?
https://detexify.kirelabs.org/classify.html
#tex #latex