Notation. [0058]

For and with we write .