It exists as `opt` but `opt`'s documentation just says it's equivalent to `<|>$`.
It exists as
optbutopt's documentation just says it's equivalent to<|>$.