Informal semantics, thesquiggle operator${\displaystyle \sim }$ is an operator that constrains the occurrence offocus. In one common definition, the squiggle operator takes a syntacticargument${\displaystyle \alpha }$ and adiscourse salient argument${\displaystyle C}$ and introduces apresupposition that theordinary semantic value of${\displaystyle C}$ is either asubset or anelement of thefocus semantic value of${\displaystyle \alpha }$. The squiggle was first introduced by Mats Rooth in 1992 as part of his treatment of focus within the framework ofalternative semantics. It has become one of the standard tools in formal work on focus, playing a key role in accounts of contrastive focus,ellipsis, deaccenting, and question-answer congruence.

The empirical motivation for the squiggle operator comes from cases in which focus marking requires asalient antecedent indiscourse that stands in some particular relation with the focused expression. For instance, the following pairs shows thatcontrastive focus is onlyfelicitous when there is a salientfocus antecedent, which contrasts with the focused expression (capital letters indicate the focused expression).^[1][2]

1. (Helen likes stroopwafel) No, MANDY likes stroopwafel.
2. (Helen likes stroopwafel) #No, Mandy likes STROOPWAFEL.

1. An AMERICAN farmer was talking to a CANADIAN farmer.
2. ?? An AMERICAN farmer was talking to a Canadian FARMER.

Another instance of this phenomenon isquestion-answer congruence, also known asanswer focus. Informally, a focused constituent in an answer to aquestion must represent the part of the utterance which resolves the issue raised by the question. For instance, the following pair of dialogues show that in response to a question of who likesstroopwafel, focus must be placed on the name of the person who likes stroopwafel. When focus is instead placed on the word "stroopwafel" itself, the answer is infelicitous, as is indicated by the # sign.^[3][4]

1. Q: Who likes stroopwafel?
   A: HELEN likes stroopwafel.
2. Q: Who likes stroopwafel?
   A: #Helen likes STROOPWAFEL.

If instead the question is what Helen likes, the word "stroopwafel" will be the expression that resolves the issue. Thus, focus will belong on "stroopwafel" instead of "Helen".

1. Q: What does Helen like?
   A: #HELEN likes stroopwafel.
2. Q: What does Helen like?
   A: Helen likes STROOPWAFEL.

In the Roothian Squiggle Theory,${\displaystyle \sim }$ is what requires a focused expression to have a suitable focus antecedent. In doing so, it also allows thefocus denotation and theordinary denotation to interact. In the alternative Semantics approach to focus, each constituent${\displaystyle \alpha }$ has both an ordinary denotation${\displaystyle [[\alpha ]{]}_o}$ and a focus denotation${\displaystyle [[\alpha ]{]}_f}$ which are composed by parallel computations. The ordinary denotation of${\displaystyle \alpha }$ is simply whatever denotation it would have in a non-alternative-based system. The focus denotation of a constituent is typically the set of all ordinary denotations one could get by substituting a focused constituent for anotherexpression of the same type.^[5]

1. Sentence: HELEN likes stroopwafel.
2. Ordinary denotation:$${\displaystyle [[\text{HELEN likes stroopwafel}]{]}_o=\lambda w.\text{ Helen likes stroopwafel in }w}$$
3. Focus denotation:$${\displaystyle [[\text{HELEN likes stroopwafel}]{]}_f=\{\lambda w.x\text{ likes stroopwafel in }w|x\in {\mathcal{D}}_e\}}$$

1. Sentence: Helen likes STROOPWAFEL.
2. Ordinary denotation:$${\displaystyle [[\text{Helen likes STROOPWAFEL}]{]}_o=\lambda w.\text{ Helen likes stroopwafel in }w}$$
3. Focus denotation:$${\displaystyle [[\text{Helen likes STROOPWAFEL}]{]}_f=\{\lambda w.\text{ Helen likes }x\text{ in }w|x\in {\mathcal{D}}_e\}}$$

The squiggle operator takes two arguments, a contextually provided antecedent${\displaystyle C}$ and an overt argument${\displaystyle \alpha }$. In the above examples,${\displaystyle C}$ is a variable which can be valued as${\displaystyle \alpha }$'s focus antecedent, while${\displaystyle \alpha }$ itself could be theconstituent [HELEN likes stroopwafel].

On one common definition,${\displaystyle \sim }$ introduces apresupposition that${\displaystyle C}$'s ordinary denotation is either a subset or an element of${\displaystyle \alpha }$'s focus denotation, or in other words that either${\displaystyle [[C]{]}_o\subseteq [[\alpha ]{]}_f}$ or${\displaystyle [[C]{]}_o\in [[\alpha ]{]}_f}$. If this presupposition is satisfied,${\displaystyle \sim }$ passes along its overt argument's ordinary denotation while "resetting" its focus denotation. In other words, when the presupposition is satisfied,${\displaystyle [[\alpha \sim C]{]}_o=[[\alpha ]{]}_o}$ and${\displaystyle [[\alpha \sim C]{]}_f=\{[[\alpha ]{]}_o\}}$.^[6]

• Alternative semantics
• Focus (linguistics)
• Givenness
• Question

• Pragmatics
• Semantics

• Articles with short description
• Short description matches Wikidata