Ackermann_function.md: rewritten to fix latex.