text: // 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 */
  