Chance implication syntax to arrow