17/12/11 16:48:01.45 bCeoaMG8.net
横からレスだが、
Wikipedia によると、set builder notation has three parts: a variable, a colon or vertical bar separator, and a logical predicate.ということで、vertical bar separatorらしいで。
なお、
URLﾘﾝｸ(en.wikipedia.org)
によると、¥mid or ¥colonをと書いている。
もちろんWikipediaはオーソライズされていないのでエビデンスにはならないが。