https://wikimass.com/html/entities/equal-to-succeeds