#Wiki記法の練習用ページ $$\sum_{k=1}^n k = \frac{n(n+1)}{2}$$ ~~~ let a = 1:a in head a hoge foo ~~~