A logical relation symbol representing semantic consequence or strong forcing in modal and intuitionistic logic.