change notation to U+23FB to correspond to recommended usage