Notation fix

&#X2630 to &#x2630