diff --git a/web/platform.fs b/web/platform.fs
index 0dc71b3..b9e1612 100644
--- a/web/platform.fs
+++ b/web/platform.fs
@@ -68,7 +68,7 @@ if (!globalObj.write) {
   context.screen.appendChild(context.terminal);
 
   context.keyboard = document.createElement('div');
-  context.KEY_HEIGHT = 60;
+  context.KEY_HEIGHT = 45;
   context.KEYBOARD_HEIGHT = context.KEY_HEIGHT * 4;
   const TAB = ['⭾', 9, 45];
   const PIPE = [String.fromCharCode(124), 124, 45];
@@ -76,6 +76,7 @@ if (!globalObj.write) {
   const ENTER = ['⏎', 13, 45];
   const SHIFT = ['⇧', 1, 45, 0];
   const SHIFT2 = ['⬆', 0, 45, 0];
+  const SHIFT3 = ['=\\<', 3, 45, 0];
   const NUMS = ['?123', 2, 45, 0];
   const ABC = ['ABC', 0, 45, 0];
   const BACKSPACE = ['&#x232B;', 8, 45];
@@ -99,9 +100,15 @@ if (!globalObj.write) {
     AddKeymap([
       '1', '2', '3', '4', '5', '6', '7', '8', '9', '0', 'Newline',
       '@', '#', '$', '_', '&', '-', '+', '(', ')', '/', 'Newline',
-      SHIFT, '*', '"', '\'', ':', ';', '!', '?', BACKSPACE, 'Newline',
+      SHIFT3, '*', '"', '\'', ':', ';', '!', '?', BACKSPACE, 'Newline',
       ABC, ',', [' ', 32, 5 * 30], '.', ENTER,
     ]),
+    AddKeymap([
+      TILDE, BACKTICK, '3', '4', '5', '6', '7', '8', '9', '0', 'Newline',
+      '@', '#', '$', '_', '&', '-', '=', '{', '}', '\\', 'Newline',
+      NUMS, '%', '"', '\'', ':', ';', '[', ']', BACKSPACE, 'Newline',
+      ABC, '<', [' ', 32, 5 * 30], '>', ENTER,
+    ]),
   ];
   function SwitchKeymap(n) {
     for (var i = 0; i < keymaps.length; ++i) {