2019-07-22 02:16:23 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html lang="{{page.lang | default:"en"}}">
|
|
|
|
|
{% include head.html %}
|
|
|
|
|
<body>
|
|
|
|
|
{% include header.html %}
|
|
|
|
|
{{ content
|
2020-05-31 20:27:14 +00:00
|
|
|
| replace: '<!--qed-->', ' <span class="qed">∎</span>'
|
2019-07-22 02:16:23 +00:00
|
|
|
| replace: '\=\>', '⇒'
|
|
|
|
|
}}
|
|
|
|
|
{% include footer.html %}
|
|
|
|
|
{% include google_analytics.html %}
|
|
|
|
|
<!-- Page generated {{ site.time }} -->
|
|
|
|
|
<!-- Page ID {{ page.id }} -->
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
