My teacher is teaching us about sets, and he said that the '|', the ':' and the '\' symbols can be used to mean 'such that'. I'm certain of the first two, but I searched a little and couldn't find reference to the last. Does it exist for this purpose? If it's a special character, what Unicode code point does it have?
Thanks in advance.