ariadne tex