DeviceManager/node_modules/regenerate-unicode-properties/Binary_Property/IDS_Binary_Operator.js

const set = require('regenerate')();
set.addRange(0x2FF0, 0x2FF1).addRange(0x2FF4, 0x2FFB);
exports.characters = set;