Rudy Rucker notation