Haven't know this notation. Nice.