An alternative notation