SATySFiになくて困っているもの一覧
自分で作れ!
#SATySFi
花文字
:
$ \mathscr{S},\mathscr{Q}
など
\mathscr
Gödel数
を表すときに使う記号:
$ \ulcorner G \urcorner
\ulcorner, \urcorner