PanLinx
日本語
jpn-000
様相演算子
English
eng-000
modal operator
PanLex