|🅰️|≤|🅱️|&|🅱️|≤|🅰️|⇒|🅰️|=|🅱️|

f:🅰️↪🅱️g:🅱️↪🅰️⇒∃h:🅰️↔️🅱️

💉🅰️→🅱️💉🅱️→🅰️⇒🤝🅰️=🅱️

🅰️↪🅱️&🅱️↪🅰️⇒🅰️↔️🅱️