local notation (name := foo) "foo" => 42