symbols - variable-sized "such that" pipe - TeX - LaTeX Stack Exchange