feat: allow configurable symbols for all connectives#8

christopher-hampson wants to merge 1 commit into

DigitalFormalLogic:masterDigitalFormalLogic/mathesis:masterfrom

christopher-hampson:feature/grammar-symbolschristopher-hampson/mathesis:feature/grammar-symbolsCopy head branch name to clipboard