[console_scripts]
automath = automath.automath:main
