other notation stuff