Follow

自然数 $n$ に対して $\bar{n}$ を勉強せんといけんわ

@Nyoho それはたぶん$n$の形式的な記号ですね。$\overline{n}\mapsto n$で意味付けられる感じの。

@mathmathniconico ああその自然数の分だけ定数記号が用意されているというやつですか!

@Nyoho おそらく…(基礎論は何度かトライしてますが身になってないので)

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.