unicode: More results; aliases

2 files changed, 26 insertions, 1 deletions

diff --git a/modules/unicode/aliases.txt b/modules/unicode/aliases.txt
new file mode 100644
index 0000000..ea23cab
--- /dev/null
+++ b/modules/unicode/aliases.txt
@@ -0,0 +1,3 @@
+0x039B lambda
+0x03BB lambda
+0x2218 composition
diff --git a/modules/unicode/unicode.js b/modules/unicode/unicode.js
index ab8ad53..4b313fc 100644
--- a/modules/unicode/unicode.js
+++ b/modules/unicode/unicode.js
@@ -24,6 +24,8 @@ const fTITLECASE = 14;
 let db = new Map();
 // ranges: [{name: String, first: int, last: int}]
 let ranges = [];
+// aliases: [{name: String, code: int}]
+let aliases = [];
 
 function importDatabase(csv) {
 	// clear the database if necessary
@@ -56,6 +58,17 @@ function importDatabase(csv) {
 	}
 }
 
+function importAliases(lines) {
+	aliases = [];
+	for (const line of lines.split("\n")) {
+		const idx = line.indexOf(" ");
+		if (idx == -1) continue;
+		const num = parseInt(line.slice(0, idx));
+		const descr = line.slice(idx + 1).toUpperCase();
+		aliases.push({name: descr, code: num});
+	}
+}
+
 function lookupCode(codepoint) {
 	for (const range of ranges) {
 		if (range.first <= codepoint && codepoint <= range.last) {
@@ -75,7 +88,14 @@ function searchDescription(text) {
 	for (const row of db.values()) {
 		if (row[fNAME].includes(text)) {
 			result.push(row);
-			if (result.length >= 200) break;
+			if (result.length >= 500) return result;
+		}
+	}
+
+	for (const row of aliases) {
+		if (row.name.includes(text)) {
+			result.push(db.get(row.code));
+			if (result.length >= 500) return result;
 		}
 	}
 
@@ -123,6 +143,8 @@ module.exports = function (app, io, moddir) {
 		throw new Error("UnicodeData.txt doesn't exist! Be sure to run ./install_prepare.sh");
 	}
 
+	importAliases(fs.readFileSync(path.join(moddir, "aliases.txt")).toString());
+
 	app.get("/unicode", (req, res) => {
 		res.sendFile(path.join(moddir, "index.html"));
 	});