这公式看起来不太妙，是本来就这样的吗？

$$ \begin{align} a &= 1 \\\ b &= 2 \end{align} $$

这样好像就行了

反正是标准的 MathJax，没任何修改。

$$ \DeclareMathOperator{Set}{Set} \DeclareMathOperator{where}{where} \DeclareMathOperator{proof}{proof} \DeclareMathOperator{data}{data} \DeclareMathOperator{rev}{rev} \DeclareMathOperator{ff}{ff} \DeclareMathOperator{lemma}{lemma} \DeclareMathOperator{intro}{intro} \DeclareMathOperator{id}{id} \DeclareMathOperator{refl}{refl} \DeclareMathOperator{params}{params} \DeclareMathOperator{Vec}{Vec} \DeclareMathOperator{rewrite}{rewrite} \DeclareMathOperator{with}{with} \DeclareMathOperator{lhs}{lhs} \DeclareMathOperator{rhs}{rhs} \DeclareMathOperator{xs}{xs} begin{align*} & \rev : \forall \{n \ m\} \{A : \Set n\} \rightarrow \Vec A \ m \rightarrow \Vec A \ m \\ & \rev \ [] = [] \\ & \rev \ (x\ {:}{:} \ \xs) = \rev \ \xs \ {:}{:} ^r x \end{align*} $$

你确定。。。这样的代码在我的博客上显示的很好

http://ice1000.org/2017/11/09/ProofInAgda5/

可能是我没开某些选项？你具体设置了哪些选项？

我的 MathJax 甚至用的是 cdn 上的，都不在我自己这里。

另外，你这个预览更新也有问题。 我的输入法是会先预输入输入法选择框第一个选项，然后选择了之后再把预输入的替换成你选择了的。 但是我这个“替换”的过程并没有导致预览内容变化。

我的 MathJax 设置代码：

<script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"
        type="text/javascript"></script>
{% if page.inline_latex %}
<script type="text/x-mathjax-config">
  MathJax.Hub.Config({ tex2jax: {inlineMath: [['`_mathjax_internal$','$]^$`'], ['\\(','\\)']]} });
</script>
<script type="text/javascript" async src="path-to-mathjax/MathJax.js?config=TeX-AMS_CHTML"></script>
{% endif %}

似乎也是 CDN 上的【

# 这种标题

目前无法正确显示。

你的意见非常有价值。我目前还不是很明白为啥 DeclareMathOperator 不工作……

渥曹，这个 MathJax 好像有些不太一样，我需要本地调试一下。可能是 marked 渲染的时候过滤或者改动了什么。

$$ \begin{matrix} 1 & x & x^2 \\ 1 & y & y^2 \\ 1 & z & z^2 \\ \end{matrix} $$

但应该是可以解决的。

marked 好像吃掉了一个 \，\ 变 \ 了……

$\{0\}\cup\{\frac 1{2k+1}; k\in\mathbb N\}$

abc$\\{ 0 \\} \cup \\{ \frac{1}{n} | n \in \mathbb{N} \\}$

abc$\{ 0 \} \cup \{ \frac{1}{n} | n \in \mathbb{N} \}$

你这怎么做到的，居然是黄色的？

$$ \begin{align} & \rev : \forall \{n \ m\} \{A : \Set n\} \rightarrow \Vec A \ m \rightarrow \Vec A \ m \\ & \rev \ [] = [] \\ & \rev \ (x\ {:}{:} \ \xs) = \rev \ \xs \ {:}{:} ^r x & \end{align} $$

$$ \DeclareMathOperator{Set}{Set} \DeclareMathOperator{where}{where} \DeclareMathOperator{proof}{proof} \DeclareMathOperator{data}{data} \DeclareMathOperator{rev}{rev} \DeclareMathOperator{ff}{ff} \DeclareMathOperator{lemma}{lemma} \DeclareMathOperator{intro}{intro} \DeclareMathOperator{id}{id} \DeclareMathOperator{refl}{refl} \DeclareMathOperator{params}{params} \DeclareMathOperator{Vec}{Vec} \DeclareMathOperator{rewrite}{rewrite} \DeclareMathOperator{with}{with} \DeclareMathOperator{lhs}{lhs} \DeclareMathOperator{rhs}{rhs} \DeclareMathOperator{xs}{xs} $$

\begin{align_}是什么用法，我只见过align和align*等

$$ \DeclareMathOperator{Set}{Set} \DeclareMathOperator{where}{where} \DeclareMathOperator{proof}{proof} \DeclareMathOperator{data}{data} \DeclareMathOperator{rev}{rev} \DeclareMathOperator{ff}{ff} \DeclareMathOperator{lemma}{lemma} \DeclareMathOperator{intro}{intro} \DeclareMathOperator{id}{id} \DeclareMathOperator{refl}{refl} \DeclareMathOperator{params}{params} \DeclareMathOperator{Vec}{Vec} \DeclareMathOperator{rewrite}{rewrite} \DeclareMathOperator{with}{with} \DeclareMathOperator{lhs}{lhs} \DeclareMathOperator{rhs}{rhs} \DeclareMathOperator{xs}{xs} \begin{align} & \rev : \forall \{n \ m\} \{A : \Set n\} \rightarrow \Vec A \ m \rightarrow \Vec A \ m \\ & \rev \ [] = [] \\ & \rev \ (x\ {:}{:} \ \xs) = \rev \ \xs \ {:}{:} ^r x \end{align} $$

\begin{align*}会被渲染成\begin{align_}是什么意思

而且好像一旦出错就完全渲染失败。

在 markdown 里，下划线是斜体的标记，但在数学里是下标，所以我选择了保留下划线。但是星号也是斜体，marked 无法区分这两种情况，而且它的 visitor 只能拿到内容，不能拿到 delimiter，我这么处理导致了星号全bian c下划线了。

\begin{equation} \label{eq1} \begin{split} A & = \frac{\pi r^2}{2} \ & = \frac{1}{2} \pi r^2 \end{split} \end{equation}

为啥一会儿可以渲染，一会儿又不行了

这叫 markdown 的高亮功能。

fun

看见没，还能蓝色

我懂了。

千里冰封的本质就是教虎哥写 markdown 。