We provide two files to make writing Magma latex documentation much easier. documentation.cls: A latex class file. This creates latex environments to model the documentation style found in the Magma ...