Function modal_symbol 

pub fn modal_symbol(vector: &ModalVector) -> &'static str

A modal’s operator. The boundary must match the formatter (formatter.rs) and the Kripke lowering (semantics/kripke.rs): force == 0.5 (ability/epistemic can/could/may) is the weak/possibility side (◇), not necessity.