\d+\\.\\d+)[Bb][-+]?\\d+\\b",relevance:10},{begin:"\\b(\\.\\d+|\\d+\\.\\d+)\\b"},{begin:"\\b(\\d+|0[0-9A-Za-z]+)\\.?\\b"}]}],illegal:/@/}}}}]);
//# sourceMappingURL=react-syntax-highlighter_languages_highlight_maxima.17e6ad63.chunk.js.map