Esto puede escribirse en notación moderna como: