* , l , xi |,