Add formal notation for PadOp (#291)
Add formal notation for PadOp (#291)

Our discussions in #280 provided some additional notational inspiration,
and I think I've got something that's readable and correct.
openxla/stablehlo,openxla/stablehlo,openxla/stablehlo,openxla/stablehlo