Add def from Arnaud Schils translated to LaTeX - oz q6