Re: [math-fun] [EXTERNAL] Such-that symbol