Logic, Formal Verification, Machine Learning, AI.
Square operators are widely seen in temporal logic literature. Although these two operators are not specified in the one-liner syntax formula, they can be easily expressed using the allowed operators like shown in this figure. Some common composite operators (from slides): Traffic Light Toy Example