Re: [math-fun] Such-that symbol