Add GPL headers; fix LaTeX symbols (arrows)