<meta charset="utf-8">

<!-- Generated by https://realfavicongenerator.net/ -->
<link rel="apple-touch-icon" sizes="180x180" href="/infra/image/icon/apple-touch-icon.png?v=20221106">
<link rel="icon" type="image/png" sizes="32x32" href="/infra/image/icon/favicon-32x32.png?v=20221106">
<link rel="icon" type="image/png" sizes="16x16" href="/infra/image/icon/favicon-16x16.png?v=20221106">
<link rel="manifest" href="/infra/image/icon/site.webmanifest?v=20221106">
<link rel="mask-icon" href="/infra/image/icon/safari-pinned-tab.svg?v=20221106" color="#000000">
<link rel="shortcut icon" href="/infra/image/icon/favicon.ico?v=20221106">
<meta name="msapplication-TileColor" content="#603cba">
<meta name="msapplication-config" content="/infra/image/icon/browserconfig.xml?v=20221106">
<meta name="theme-color" content="#ffffff">

{% if page.layout == "blog" or page.syntax %}
<link rel="stylesheet" href="/infra/css/syntax.css?v=20221108">
{% endif %}
{% if page.layout == "concept" or page.maths %}
<link rel="stylesheet" href="/infra/css/katex.min.css?v=20221008">
{% endif %}
<link rel="stylesheet" href="/infra/css/main.css?v=20221119">

{% if jekyll.environment == "production" %}
<script data-goatcounter="https://prefetch.goatcounter.com/count" async src="/infra/js/count.js?v=20221103"></script>
{% endif %}