[SATySFi] のプリミティヴ一覧です．2020/05/11 時点での [vminstdef.yaml https://github.com/gfngfn/SATySFi/blob/master/src/frontend/bytecomp/vminstdef.yaml] から取ってきて並べただけなので，テキストモード限定のもの， PDF モード限定のもの，二項演算子など，色々入り乱れています．[^]