pub fn extract_symbols_for(
logic: &str,
view: &impl LogicFormatter,
) -> Vec<SymbolEntry>Expand description
Extract symbols from logic as view printed it: each view writes its symbols its own way
(∀ or ForAll, P or Past), and the dictionary reads them in that notation.