A material implication that is acted upon by the necessity operator from modal logic.
Select a language to see translations
LekhoriLekhori