// Generated by ReScript, PLEASE EDIT WITH CARE
'use strict';


var ndash = "\u2013";

var minus = "\u2212";

var nobr = "\u2060";

var nbsp = "\u00A0";

var plusmn = "\u00B1";

exports.ndash = ndash;
exports.minus = minus;
exports.nobr = nobr;
exports.nbsp = nbsp;
exports.plusmn = plusmn;
/* No side effect */
