S \ } ^: