which was a change introduced in 2013. there were a flurry of back and forth changes after someone the month earlier (accidentally?) surrounded all the symbols with [] link characters.
the unicode standard only refers to it as “difference between”, and not approximation.
Indeed. My maths education finished before Unicode existed, but that ≏ character was certainly the one the fearsome Fr. Leo taught me (the angriest teacher I have ever encountered).
Thank you.
All this explains why I never became a mathematician. I use maths nearly every day, but only basic geometry.