pub fn notation() -> Vec<SymbolEntry>Expand description
The symbols LOGOS writes with a fixed spelling, as the Unicode view prints them, each with what it means: the quantifiers, the connectives, the modals, identity, and the deontic O.
pub fn notation() -> Vec<SymbolEntry>The symbols LOGOS writes with a fixed spelling, as the Unicode view prints them, each with what it means: the quantifiers, the connectives, the modals, identity, and the deontic O.