hql_synopsis.tex