begin{};          $xy = $x // $y; $sy = @s // $y; $xt = $x // @t; $st = @s // @t
