@font-face { font-family: "Planetaire Mono Text";
  src: url("../fonts/KaTeX_AMS-Regular-code-symbols.2ce2d4d96f079a59.woff2") format("woff2");
  font-weight: 400; font-style: normal; font-display: block;
  unicode-range: U+211D; }
@font-face { font-family: "Planetaire Mono Text";
  src: url("../fonts/KaTeX_Main-Regular-code-symbols.6a988b9d6e21df26.woff2") format("woff2");
  font-weight: 400; font-style: normal; font-display: block;
  unicode-range: U+2194, U+2264; }