Explain crazy magit TeX sexp