#️⃣🅰️=#️⃣🅱️

#anbn #a^n b^n #count equality #number matching #formal definition #language property #constraint

𝑥≔𝗬

#assignment #variable #equation #set value #definition symbol #formal definition