Squiggle operator
In formal semantics, the squiggle operator ∼ {\displaystyle \sim } is an operator that constrains the occurrence of focus. In one common definition, the squiggle operator takes a syntactic argument α {\displaystyle \alpha } and a discourse salient argument C {\displaystyle C} and introduces a presupposition that the ordinary semantic value of C {\displaystyle C} is either a subset or an element of the focus semantic value of α {\displaystyle \alpha } .