Re: [math-fun] Such-that symbol

Could it maybe match the more rounded "Contains with Long Horizontal Stroke" Unicode character, https://unicode-table.com/en/22FA/ ? https://math.stackexchange.com/questions/309506/symbol-for-such-that-not-in-... says that Peano used this character without the long horizontal stroke for "such that"; maybe in someone's handwriting it could become the symbol above? But that wouldn't necessarily explain multiple professors using it. --Neil Bickford