再让我测试一下数学公式和代码高亮哈

$E=mc^2$
$\varphi(x)$
$a*b*c$

#include <cstdio>
int main(){
    puts("Hello,world!");
    return 0;
}

type _ exp =
  | Int : int -> int exp
  | Bool : bool -> bool exp
  | Eq : ('a exp * 'a exp) -> bool exp
  | Add : (int exp * int exp) -> int exp
  | If : (bool exp * 'a exp * 'a exp) -> 'a exp

c=a+b;