Detexifier - Use the result as an input to a grammar/style checker