Ambos símbolos se prefijan a proposiciones, de modo que formula_3 se lee "es necesario que "p"", y formula_4 se lee "es posible que "p"".