<meta charset="utf-8"> <!-- Generated by https://realfavicongenerator.net/ --> <link rel="apple-touch-icon" sizes="180x180" href="/infra/image/icon/apple-touch-icon.png"> <link rel="icon" type="image/png" sizes="32x32" href="/infra/image/icon/favicon-32x32.png"> <link rel="icon" type="image/png" sizes="16x16" href="/infra/image/icon/favicon-16x16.png"> <link rel="manifest" href="/infra/image/icon/site.webmanifest"> <link rel="mask-icon" href="/infra/image/icon/safari-pinned-tab.svg" color="#000000"> <link rel="shortcut icon" href="/infra/image/icon/favicon.ico"> <meta name="msapplication-TileColor" content="#603cba"> <meta name="msapplication-config" content="/infra/image/icon/browserconfig.xml"> <meta name="theme-color" content="#ffffff"> {% if page.layout == "blog" or page.syntax %} <link rel="stylesheet" href="/infra/css/syntax.css?v=20221027"> {% 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=20221027"> <script data-goatcounter="https://prefetch.goatcounter.com/count" async src="https://gc.zgo.at/count.js"></script>