/* U+2192, U+2248, U+2265, from KaTeX_Main, on the families this page ships */
@font-face { font-family: "Source Sans 3 Variable";
  src: url("../fonts/KaTeX_Main-Bold-relations.828d07d5fcba3bdf.woff2") format("woff2");
  font-weight: 200 900; font-style: normal; font-display: block;
  size-adjust: 70%;
  unicode-range: U+2192, U+2248, U+2265; }