A directional operator showing a right-facing harpoon with upward barb, commonly used in set theory for restrictions.
