The following makes use of the modal operators ◻ {\displaystyle \Box } ("necessarily") and ◊ {\displaystyle \Diamond } ("possibly").
В приведённых ниже выражениях используются операторы ◻ {\displaystyle \Box } («необходимость») и ◊ {\displaystyle \Diamond } («возможность»).