Die Variable $user_syntax ist $syntax