The Diputs notation (#6740) - Basecamp