Simplified notation from the original
. See note on revision above.