Merge pull request #85 from IdreesInc/49-include-some-more-unicode-sy…

…mbols-sometimes-used-in-coding Add some glyphs used in PureScript
IdreesInc · Dec 29, 2022 · e1ebb38 · e1ebb38
2 parents 0cdc990 + 0ff7075
commit e1ebb38
Show file tree

Hide file tree

Showing 2 changed files with 141 additions and 1 deletion.
diff --git a/examples/glyphs.txt b/examples/glyphs.txt
@@ -23,7 +23,7 @@ a b c d e f g h i j k l m n o p q r s t u v w x y z
 Ḋ ḋ Ḟ ḟ Ḡ ḡ Ḣ ḣ Ḧ ḧ Ḱ ḱ Ḿ ḿ Ṁ ṁ Ṅ ṅ Ṕ ṕ Ṗ ṗ Ṙ ṙ Ṡ ṡ Ṫ ṫ Ṽ ṽ Ẁ ẁ 
 Ẃ ẃ Ẅ ẅ Ẇ ẇ Ẋ ẋ Ẍ ẍ Ẏ ẏ Ẑ ẑ ẗ ẘ ẙ Ẽ ẽ Ỳ ỳ Ỹ ỹ 
 
-€ ☺ ☻ ♥ ⨰ ⸚ 
+€ ← ↑ → ↓ ⇐ ⇑ ⇒ ⇓ ∀ ∷ ☺ ☻ ♥ ⨰ ⸚ 
 
 --- Ligatures ---
  = =     ->     ==

diff --git a/src/characters.json b/src/characters.json
@@ -3473,6 +3473,146 @@
 			[0, 0, 1, 1, 0]
 		]
 	},
+	{
+		"character": "←",
+		"name": "leftwards_arrow",
+		"codepoint": 8592,
+		"pixels": [
+			[0, 0, 0, 0, 0],
+			[0, 0, 1, 0, 0],
+			[0, 1, 0, 0, 0],
+			[1, 1, 1, 1, 1],
+			[0, 1, 0, 0, 0],
+			[0, 0, 1, 0, 0],
+			[0, 0, 0, 0, 0]
+		]
+	},
+	{
+		"character": "↑",
+		"name": "upwards_arrow",
+		"codepoint": 8593,
+		"pixels": [
+			[0, 0, 0, 0, 0],
+			[0, 0, 1, 0, 0],
+			[0, 1, 1, 1, 0],
+			[1, 0, 1, 0, 1],
+			[0, 0, 1, 0, 0],
+			[0, 0, 1, 0, 0],
+			[0, 0, 0, 0, 0]
+		]
+	},
+	{
+		"character": "→",
+		"name": "rightwards_arrow",
+		"codepoint": 8594,
+		"pixels": [
+			[0, 0, 0, 0, 0],
+			[0, 0, 1, 0, 0],
+			[0, 0, 0, 1, 0],
+			[1, 1, 1, 1, 1],
+			[0, 0, 0, 1, 0],
+			[0, 0, 1, 0, 0],
+			[0, 0, 0, 0, 0]
+		]
+	},
+	{
+		"character": "↓",
+		"name": "downwards_arrow",
+		"codepoint": 8595,
+		"pixels": [
+			[0, 0, 0, 0, 0],
+			[0, 0, 1, 0, 0],
+			[0, 0, 1, 0, 0],
+			[1, 0, 1, 0, 1],
+			[0, 1, 1, 1, 0],
+			[0, 0, 1, 0, 0],
+			[0, 0, 0, 0, 0]
+		]
+	},
+	{
+		"character": "⇐",
+		"name": "leftwards_double_arrow",
+		"codepoint": 8656,
+		"pixels": [
+			[0, 0, 0, 0, 0],
+			[0, 0, 1, 0, 0],
+			[0, 1, 1, 1, 1],
+			[1, 0, 0, 0, 0],
+			[0, 1, 1, 1, 1],
+			[0, 0, 1, 0, 0],
+			[0, 0, 0, 0, 0]
+		]
+	},
+	{
+		"character": "⇑",
+		"name": "upwards_double_arrow",
+		"codepoint": 8657,
+		"pixels": [
+			[0, 0, 0, 0, 0],
+			[0, 0, 1, 0, 0],
+			[0, 1, 0, 1, 0],
+			[1, 1, 0, 1, 1],
+			[0, 1, 0, 1, 0],
+			[0, 1, 0, 1, 0],
+			[0, 0, 0, 0, 0]
+		]
+	},
+	{
+		"character": "⇒",
+		"name": "rightwards_double_arrow",
+		"codepoint": 8658,
+		"pixels": [
+			[0, 0, 0, 0, 0],
+			[0, 0, 1, 0, 0],
+			[1, 1, 1, 1, 0],
+			[0, 0, 0, 0, 1],
+			[1, 1, 1, 1, 0],
+			[0, 0, 1, 0, 0],
+			[0, 0, 0, 0, 0]
+		]
+	},
+	{
+		"character": "⇓",
+		"name": "downwards_double_arrow",
+		"codepoint": 8659,
+		"pixels": [
+			[0, 0, 0, 0, 0],
+			[0, 1, 0, 1, 0],
+			[0, 1, 0, 1, 0],
+			[1, 1, 0, 1, 1],
+			[0, 1, 0, 1, 0],
+			[0, 0, 1, 0, 0],
+			[0, 0, 0, 0, 0]
+		]
+	},
+	{
+		"character": "∀",
+		"name": "for_all",
+		"codepoint": 8704,
+		"pixels": [
+			[1, 0, 0, 0, 1],
+			[1, 0, 0, 0, 1],
+			[1, 1, 1, 1, 1],
+			[1, 0, 0, 0, 1],
+			[0, 1, 0, 1, 0],
+			[0, 1, 0, 1, 0],
+			[0, 0, 1, 0, 0]
+		]
+	},
+	{
+		"character": "∷",
+		"name": "proportion",
+		"codepoint": 8759,
+		"pixels": [
+			[0, 0, 0, 0, 0],
+			[1, 0, 0, 0, 1],
+			[0, 0, 0, 0, 0],
+			[0, 0, 0, 0, 0],
+			[0, 0, 0, 0, 0],
+			[0, 0, 0, 0, 0],
+			[1, 0, 0, 0, 1]
+		]
+	},
 	{
 		"character": "☺",
 		"name":"smiling_face",