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

@@ -892,7 +892,7 @@ const ProjectController = {
               ),
               showSymbolPalette: shouldDisplayFeature(
                 'symbol_palette',
-                user.betaProgram
+                user.alphaProgram || user.betaProgram
               ),
               trackPdfDownload: partOfPdfCachingRollout('collect-metrics'),
               enablePdfCaching: partOfPdfCachingRollout('enable-caching'),

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": ""
   },
   {