Set notation in ConTeXt
