Use mathematical notation for semantic policy Display#914

febyeji wants to merge 2 commits intorust-bitcoin:masterrust-bitcoin/rust-miniscript:masterfrom

febyeji:semantic-policy-displayfebyeji/rust-miniscript:semantic-policy-displayCopy head branch name to clipboard