Could you provide a practical example?

There is one in the quickstart:

    mathcode -p "prove that the square of an even number is even"