Clean up notation