Window operator

operator in modal logic

en-US/ˈwɪndoʊ ˈɑpəˌɹeɪdɚ/
en-GB/ˈwɪndəʊ ˈɒpəˌɹeɪtə/

分类：

modal operator