Open stefan11 opened 3 years ago
\avm{
\emph{wh-inter-cl}:
[cont & [params & \{ \1 \} \uplusAVM set] ]
$\rightarrow$
[wh & \{ \1 \}], H
}
\avm{
\emph{wh-inter-cl}:
[cont & [params & \{ \1 \} $\uplus$ set] ]
$\rightarrow$
[wh & \{ \1 \}], H
}
The \ushapeAVM is defiend as:
\newcommand{\uplusAVM}{\hbox{${}\uplus{}$}\ignorespaces}
Interestingly the $ seems to eat the space to its left:
Maybe the first AVM is the correct one. But then the situation is even more strange.