The tricky thing is this particular copy of jQuery is in compatibility mode by default. That means that the typical ‘$’ shortcut for jQuery doesn’t work, so it doesn’t conflict with any other JavaScript libraries that use the dollar sign also, like MooTools or Prototype.
Many plugin authors and theme developers are aware of this, and they use ‘jQuery’ instead of ‘$’ to be safe.