updated LaTeX mark-up for mathematical cryptography