未引入jQuery，却使用了jQuery中的$符号获取到了元素

我未在文件中引入jQuery，但是我在js页面中使用了jQuery中的$符号获取到了元素，想问一下大家这是为什么？

浏览器F12，然后找到network窗口，刷新页面，看请求列表里是不是有JQuery.js被载入。