Replaces capital and lower-case V arrowheads in character diagrams with the logical or character ∨, and the caret arrowheads ^ with logical and ∧. Also fixes a couple of miscellaneous issues with some diagrams like lacking indentation and whitespace.
Replaces capital and lower-case
Varrowheads in character diagrams with the logical or character∨, and the caret arrowheads^with logical and∧. Also fixes a couple of miscellaneous issues with some diagrams like lacking indentation and whitespace.