From 392b854f49f9cce300fcd2630cf0cef049950f5c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timoth=C3=A9e=20Alby?= <timothee.alby@gmail.com>
Date: Mon, 21 Jun 2021 16:00:39 +0200
Subject: [PATCH] Merge pull request #4224 from
 overleaf/as-symbol-palette-tweaks

2 minor symbol palette tweaks

GitOrigin-RevId: a1e8a1994330735f9cdb154743f679b02213ccb0
---
 services/web/app/src/Features/Project/ProjectController.js    | 2 +-
 .../web/frontend/js/features/symbol-palette/data/symbols.json | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/services/web/app/src/Features/Project/ProjectController.js b/services/web/app/src/Features/Project/ProjectController.js
index 69c7f5bffe..e3f9daa94c 100644
--- a/services/web/app/src/Features/Project/ProjectController.js
+++ b/services/web/app/src/Features/Project/ProjectController.js
@@ -892,7 +892,7 @@ const ProjectController = {
               ),
               showSymbolPalette: shouldDisplayFeature(
                 'symbol_palette',
-                user.betaProgram
+                user.alphaProgram || user.betaProgram
               ),
               trackPdfDownload: partOfPdfCachingRollout('collect-metrics'),
               enablePdfCaching: partOfPdfCachingRollout('enable-caching'),
diff --git a/services/web/frontend/js/features/symbol-palette/data/symbols.json b/services/web/frontend/js/features/symbol-palette/data/symbols.json
index a29e1648d0..af160b3eed 100644
--- a/services/web/frontend/js/features/symbol-palette/data/symbols.json
+++ b/services/web/frontend/js/features/symbol-palette/data/symbols.json
@@ -83,7 +83,7 @@
     "category": "Greek",
     "command": "\\iota",
     "codepoint": "U+1D704",
-    "description": "lowercase Greek letter iota",
+    "description": "Lowercase Greek letter iota",
     "aliases": ["ι"],
     "notes": ""
   },
@@ -647,6 +647,7 @@
     "command": "\\Leftarrow",
     "codepoint": "U+021D0",
     "description": "Is implied by",
+    "aliases": ["<="],
     "notes": ""
   },
   {
@@ -654,6 +655,7 @@
     "command": "\\Rightarrow",
     "codepoint": "U+021D2",
     "description": "Implies",
+    "aliases": ["=>"],
     "notes": ""
   },
   {