The dependency labels are intended as superscripts of the diamond/box and triangle up/down symbols, in the html version they get undue prominence. Same for the subscripts on the constants that acts as stand ins for the words in the proof term. Is there a way of properly rendering the math? MathJax for ex? On the Notation page, the math is properly rendered.
As it is, the black triangle down symbol doesn’t match the white triangles (different sizes). 25BC/25BD and 25B2/25B3 have matching sizes. And the Notation page uses the multimap symbol for linear implications, a different arrow from what the html displays.
Email from Michael:
The dependency labels are intended as superscripts of the diamond/box and triangle up/down symbols, in the html version they get undue prominence. Same for the subscripts on the constants that acts as stand ins for the words in the proof term. Is there a way of properly rendering the math? MathJax for ex? On the Notation page, the math is properly rendered.
As it is, the black triangle down symbol doesn’t match the white triangles (different sizes). 25BC/25BD and 25B2/25B3 have matching sizes. And the Notation page uses the multimap symbol for linear implications, a different arrow from what the html displays.