The ≈ was adopted by Sybrand Treffers.