Set builder notation — LessWrong