Non-executable, untyped, unverifiable notation is a feature, not a bug, because it makes it harder for a peer reviewer to reject your paper. Imagine if peer re

Non-executable, untyped, unverifiable notation is a feature, not a bug, because it makes it harder for a peer reviewer to reject your paper. Imagine if peer reviewer's pdf viewer put red squiggly lines under invalid formulas and equations...